Buy Used and New Gary D . Hachtel Books

Results for Gary D . Hachtel

Showing 1 to 1 of 1 results
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) by Chao Wang,Gary D. Hachtel,Fabio Somenzi

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

by Chao Wang,Gary D. Hachtel,Fabio Somenzi


ISBN 13: 9780387341552

Format: Hardcover (186 pages)
Publisher: Springer
Published: 21 Aug 2006

Save for later

 
New : $164.71  
New : $164.71