Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

by Gary D . Hachtel (Contributor), Chao Wang (Author), Fabio Somenzi (Contributor)

New
Paperback
2014
$105.46

$105.46

Quantity

10 in stock

More Information

Format: Paperback
Pages: 196
Edition: 2006
Publisher: Springer
Published: 06 Dec 2014
ISBN 10: 1489993959
ISBN 13: 9781489993953

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

New

$105.46

$105.46

More Information