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
$165.21

$165.21

Save:$16.91 (9%)

Quantity

10 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

$165.21

$165.21

More Information