phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Roadmap for Formal Property Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Roadmap for Formal Property Verification Pallab Dasgupta
Libristo kod: 01975380
Nakladnici Springer, listopad 2010
Integrating formal property verification (FPV) into an existing design process raises several intere... Cijeli opis
? points 304 b
120.85 €
Vanjske zalihe u manjem broju Šaljemo za 10-14 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Universe in Your Hand Christophe Galfard / Meki uvez
common.buy 13.78 €
1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd / Tvrdi uvez
common.buy 14.28 €
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Meki uvez
common.buy 40.14 €
Frankfurter Sagenbuch Karl Enslin / Meki uvez
common.buy 68.22 €
Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler / Meki uvez
common.buy 116.73 €
Jetzt wird gesnackt! Ute-Marion Wilkesmann / Meki uvez
common.buy 15.59 €

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Informacije o knjizi

Puni naziv Roadmap for Formal Property Verification
Autor Pallab Dasgupta
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 252
EAN 9789048171859
ISBN 9048171857
Libristo kod 01975380
Nakladnici Springer
Težina 434
Dimenzije 160 x 240 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun