Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Kirjat - Springer-Verlag New York Inc. - 9781441937391 - perjantai 29. lokakuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition

Valeria Bertacco

Hinta
S$ 152,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 13. - 21. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.


180 pages, 40 black & white illustrations, 13 black & white tables, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 29. lokakuuta 2010
ISBN13 9781441937391
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 180
Mitta 155 × 235 × 10 mm   ·   276 g
Kieli English  

Näytä kaikki

Lisää tuotteita Valeria Bertacco