-
Anglický jazyk
SAT-Based Scalable Formal Verification Solutions
Autor: Aarti Gupta
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model... Viac o knihe
Na objednávku, dodanie 2-4 týždne
148.49 €
bežná cena: 164.99 €
O knihe
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
- Vydavateľstvo: Springer US
- Rok vydania: 2007
- Formát: Hardback
- Rozmer: 241 x 160 mm
- Jazyk: Anglický jazyk
- ISBN: 9780387691664
Nemecký jazyk 
