
Vinkkaa tuotetta kavereillesi:
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
Valeria Bertacco
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
Katso kaikki joka sisältää Valeria Bertacco ( Esim. Paperback Book Ja Hardcover Book )