Tipsa dina vänner om produkten:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition
Malay Ganai
Pris
Kč 4.342
Beställningsvara
Förväntad leverans 2 - 11 jun
Lägg till din iMusic-önskelista
Eller
Finns även som:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition
Malay Ganai
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öcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 22 maj 2007 |
| ISBN13 | 9780387691664 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 330 |
| Mått | 155 × 235 × 20 mm · 703 g |
| Språk | Engelska |
Se alt med Malay Ganai ( t.ex. Inbunden Bok och Pocketbok )