SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Bøker - Springer-Verlag New York Inc. - 9780387691664 - 22. mai 2007
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition

Malay Ganai

Pris
NOK 1.539

Bestillingsvarer

Forventes levert 12. - 20. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

330 pages, 118 black & white illustrations, 33 black & white tables, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 22. mai 2007
ISBN13 9780387691664
Utgivere Springer-Verlag New York Inc.
Antall sider 330
Mål 155 × 235 × 20 mm   ·   703 g
Språk Engelsk  

Se alt med Malay Ganai ( f.eks. Innbunden bok og Pocketbok )