Your search returned 2 results.

Results
	1.	Logic synthesis and verification algorithms by Hachtel, Gary D Somenzi, Fabio Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2006 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: 621.395 HAC-L. Place hold Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / by Hunt, Jr., Warren A [editor.] Somenzi, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2725 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search