Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Kirjat - Springer-Verlag New York Inc. - 9780387244112 - keskiviikko 21. joulukuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Scalable Hardware Verification with Symbolic Simulation 2006 edition

Valeria Bertacco

Hinta
€ 114,99

Tilattu etävarastosta

Arvioitu toimitus pe - ti 15. - 26. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Scalable Hardware Verification with Symbolic Simulation 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     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 21. joulukuuta 2005
ISBN13 9780387244112
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 180
Mitta 155 × 235 × 12 mm   ·   458 g
Kieli English  

Näytä kaikki

Lisää tuotteita Valeria Bertacco