Fortell venner om denne varen:
Scalable Hardware Verification with Symbolic Simulation 2006 edition
Valeria Bertacco
Pris
₪ 412
Bestillingsvarer
Forventes levert 8. - 19. aug
Legg til iMusic ønskeliste
Eller
Finnes også som:
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 21. desember 2005 |
| ISBN13 | 9780387244112 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 180 |
| Mål | 155 × 235 × 12 mm · 458 g |
| Språk | Engelsk |
![Cover for Valeria Bertacco · Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/760/9783319030760.jpg?valeria-bertacco-2013-hardware-and-software-verification-and-testing-9th-international-haifa-verification-conference-hvc-2013-haifa-israel-november-5-7-2013-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1615225687)