Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Hardware Verification Marco Bernardo
Libristo kód: 01562083
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Celý popis
? points 135 b
55.90 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

The Autumn Stone Small Faces Audio Audio CD
common.buy 21.97 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Kniha Pevná
common.buy 15.99 €
Intelektuálové a masy John Carey / Kniha Brožovaná
common.buy 12.45 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Kniha Brožovaná
common.buy 26.83 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Kniha Brožovaná
common.buy 20.55 €
L'oracle des échos oniriques Luna Ravenheart / Kniha Brožovaná
common.buy 30.98 €
Chants du cauchemar et de la nuit Ligotti / Kniha Brožovaná
common.buy 12.75 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Kniha Brožovaná
common.buy 25.92 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Kniha Brožovaná
common.buy 27.34 €
Innover avec les acteurs du monde rural Hocdé / Kniha Brožovaná
common.buy 31.49 €
Alí i Ramboline VALENTI GUBIANAS / Kniha Pevná
common.buy 15.08 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Kniha Brožovaná
common.buy 25.41 €
Grundfragen der Anstiftung. Marios Nikolidakis / Kniha Brožovaná
common.buy 74.64 €
Wie der König seinen Feind verlor Jorge Bucay / Kniha Pevná
common.buy 13.16 €
Gormenghast. Band 2 Mervyn Peake / Kniha Pevná
common.buy 19.44 €
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Kniha Brožovaná
common.buy 16.20 €
Finale in Sudafrika Stephanie Howe / Kniha Brožovaná
common.buy 17.92 €
2984 Utta Kaiser-Plessow / Kniha Brožovaná
common.buy 10.93 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Kniha Brožovaná
common.buy 26.83 €
Vaillants Soldats Desplantes-F / Kniha Brožovaná
common.buy 18.42 €
Poeta En Nueva York Federico García Lorca / Kniha Brožovaná
common.buy 10.62 €
Unas tardes con Shakespeare Praz / Kniha Brožovaná
common.buy 22.58 €
Будапэшт Kolozsvári Ildikó / Kniha List
common.buy 8.80 €
99 Sayfada Tüp Bebek Bülent Gülekli / Kniha Brožovaná
common.buy 8.19 €

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 244
EAN 9783540343042
ISBN 3540343040
Libristo kód 01562083
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 800
Rozmery 155 x 235 x 17

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Kniha Pevná
common.buy 514.41 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Kniha Pevná
common.buy 51.75 €
Case-Based Reasoning Research and Development Lorraine McGinty / Kniha Brožovaná
common.buy 51.75 €
Conquest Andrea Smith / Kniha Brožovaná
common.buy 25.31 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Kniha Pevná
common.buy 31.89 €
complete work of Rembrandt Wilhelm Von Bode / Kniha Brožovaná
common.buy 28.55 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Kniha Brožovaná
common.buy 9.81 €
Pippa and Pop Level 1 Activity Book British English Colin Sage / Kniha Brožovaná
common.buy 10.12 €
Montreal at War, 1914-1918 Terry Copp / Kniha Brožovaná
common.buy 29.56 €
Echoes and Ashes Terrell Washington Anansi / Kniha Brožovaná
common.buy 8.09 €
How To Love Yourself 100% Htebooks / Kniha Brožovaná
common.buy 8.09 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Kniha Brožovaná
common.buy 10.83 €
Graffiti and Street Art Konstantinos Avramidis / Kniha Brožovaná
common.buy 66.94 €
If I Was Your Hamster Angelia Smith / Kniha Brožovaná
common.buy 9.61 €
Little Owl's Snow Divya Srinivasan / Kniha Pevná
common.buy 14.07 €
In the Ravine & Other Stories Anton Chekhov / Kniha Pevná
common.buy 11.43 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Kniha Brožovaná
common.buy 41.82 €
Where's Grandma's Keys Nadine Burr / Kniha Pevná
common.buy 26.02 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Kniha Brožovaná
common.buy 22.27 €
Leave It to Abigail! Elizabeth Baddeley / Kniha Pevná
common.buy 17.21 €
Real Deal Faisal Susiwala / Kniha Brožovaná
common.buy 14.68 €
Man of Honour Tyrone Heydenrych / Kniha Brožovaná
common.buy 18.32 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Kniha Brožovaná
common.buy 17.11 €
Hunting and Fishing in a Kammu Village Damrong Tayanin / Kniha Pevná
common.buy 35.54 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?