Fortæl dine venner om denne vare:
Scalable Hardware Verification with Symbolic Simulation 2006 edition
Valeria Bertacco
Pris
CA$ 208,74
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 19. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes 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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 21. december 2005 |
| ISBN13 | 9780387244112 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 180 |
| Mål | 155 × 235 × 12 mm · 458 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 )