SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems - Malay Ganai - Kirjat - Springer-Verlag New York Inc. - 9780387691664 - tiistai 22. toukokuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Malay Ganai

Hinta
Kč 4.484

Tilattu etävarastosta

Arvioitu toimitus ke 28. touko - pe 6. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 22. toukokuuta 2007
ISBN13 9780387691664
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 330
Mitta 155 × 235 × 20 mm   ·   703 g
Kieli English  

Katso kaikki joka sisältää Malay Ganai ( Esim. Hardcover Book Ja Paperback Book )