Your search returned 2 results.

Results
	1.	No cover image available Logic Synthesis and Verification Algorithms by Hachtel, Gary D Somenzi, Fabio Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Springer Publisher 2006 Availability: Items available for loan: NMIT (1)Call number: 621.395 HAC. Not available: NMIT: Checked out (1). Place hold Add to cart (remove)
	2.	Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. by Wang, Chao [author.] Hachtel, Gary D [author.] Somenzi, Fabio [author.] SpringerLink (Online service) Series: Series on Integrated Circuits and Systems Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search