Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Bøger - Springer-Verlag New York Inc. - 9780387244112 - 21. december 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

Scalable Hardware Verification with Symbolic Simulation 2006 edition

Valeria Bertacco

Pris
DKK 975

Bestilles fra fjernlager

Forventes klar til forsendelse 14. - 21. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Scalable Hardware Verification with Symbolic Simulation 2006 edition

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