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
SEK 1.289

Tilattu etävarastosta

Arvioitu toimitus ke - pe 13. - 22. 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