-
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
108.89 €
bežná cena: 120.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: 2010
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9781441943415
Nemecký jazyk 
