Fortell venner om denne varen:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 2007 edition
Malay Ganai
Pris
NOK 1.149
Bestillingsvarer
Forventes levert 12. - 20. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems Softcover reprint of hardcover 1st ed. 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øker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 19. november 2010 |
| ISBN13 | 9781441943415 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 330 |
| Mål | 155 × 235 × 18 mm · 503 g |
| Språk | Engelsk |
Se alt med Malay Ganai ( f.eks. Innbunden bok og Pocketbok )