Buy Used and New Fabio Somenzi Books

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

Logic Synthesis and Verification Algorithms

by Gary D. Hachtel,Fabio Somenzi

ISBN 13: 9781475770360

Format: Illustrated (596 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later