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