SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

by Malay Ganai (Author), Aarti Gupta (Contributor), Aarti Gupta (Contributor), Malay Ganai (Author)

New
Paperback
2010
$123.44

$123.44

Save:$55.49 (31%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 360
Edition: Softcover reprint of hardcover 1st ed. 2007
Publisher: Springer
Published: 19 Nov 2010
ISBN 10: 1441943412
ISBN 13: 9781441943415

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

New

$123.44

$123.44

More Information