SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Sys...

Condition: New

£87.84

30-day returns
Dispatches from United States
Dispatches from
Returns
Accepted within 30 days
Buyer pays return postage
Payments

About this seller

 
 

About this item

Condition
New
Quantity
1 available
Format
Hardback
Country of Origin
USA, United States
Dimensions (LxWxH) - Cms
9.21x0.81x6.14
Manufacturer/Packer/Importer Details
ERGODE
ISBN-10
0387691669

Item description

"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."
See all