Fortæl dine venner om denne vare:
Scalable Hardware Verification with Symbolic Simulation Softcover reprint of hardcover 1st ed. 2006 edition
Valeria Bertacco
Pris
DKK 862
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 14. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 29. oktober 2010 |
| ISBN13 | 9781441937391 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 180 |
| Mål | 155 × 235 × 10 mm · 276 g |
| Sprog | Engelsk |
Vis alle
Mere med Valeria Bertacco
![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 (Paperback Bog) [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-paperback-bog&class=scaled&v=1615225687)
Se alt med Valeria Bertacco ( f.eks. Paperback Bog og Hardcover bog )