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 Tvrdi uvez
Knjiga Roadmap for Formal Property Verification Pallab Dasgupta
Libristo kod: 01416700
Nakladnici Springer-Verlag New York Inc., srpanj 2006
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

Beyond Codependency Beattie Melody / Meki uvez
common.buy 19.41 €
Západní symboly Feng Shui Bradler Christine M. / Meki uvez
common.buy 7.34 €
Jihovýchodní Asie 2 collegium / Meki uvez
common.buy 11.46 €
ESPERANZA Daniele Steel / Meki uvez
common.buy 10.96 €
Erkenntnis und Wissenschaft/ Knowledge and Science Matthias Lutz-Bachmann / Tvrdi uvez
common.buy 101.53 €
Dance of Polar Opposites George Rochberg / Tvrdi uvez
common.buy 113.41 €
Third Reich Between Vision and Reality Hans Mommsen / Tvrdi uvez
common.buy 163.73 €
India - The Political Economy of Growth, Stagnation and the State, 1951-2007 Matthew McCartney / Tvrdi uvez
common.buy 62.18 €
Mouse's Beach Bag Mike Byrne / Leporelo
common.buy 9.05 €
Cakallarla Dans 2 Hastasiyiz Dede Murat Seker / DVD
common.buy 21.22 €
Blawg Austria / Tvrdi uvez
common.buy 21.73 €
Advances in Spectroscopy for Lasers and Sensing Baldassare Di Bartolo / Tvrdi uvez
common.buy 359.06 €

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any background on formal methods to read most parts of this book.

Informacije o knjizi

Puni naziv Roadmap for Formal Property Verification
Autor Pallab Dasgupta
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2006
Broj stranica 252
EAN 9781402047572
ISBN 1402047576
Libristo kod 01416700
Nakladnici Springer-Verlag New York Inc.
Težina 1220
Dimenzije 155 x 235 x 17

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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