SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Boeken - Springer-Verlag New York Inc. - 9780387691664 - 22 mei 2007
Indien omslag en titel niet overeenkomen, is de titel correct

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

Malay Ganai

Prijs
¥ 29.130,25

Besteld in een afgelegen magazijn

Verwachte levering 3 - 11 jun.
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 22 mei 2007
ISBN13 9780387691664
Uitgevers Springer-Verlag New York Inc.
Pagina's 330
Afmetingen 155 × 235 × 20 mm   ·   703 g
Taal en grammatica Engels