Koha online catalog › Results of search for 'au:"Somenzi, Fabio"'

	1.	Logic synthesis and verification algorithms by Hachtel, Gary D \| Somenzi, Fabio. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1). Place hold
	2.	Abstraction refinement for large scale model checking. by Wang, Chao \| Hachtel, Gary D \| Somenzi, Fabio. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1). Place hold
	3.	Logic Synthesis and Verification Algorithms by Hachtel, Gary D \| Somenzi, Fabio. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 1996Availability: Items available for loan: [Call number: 621.395 HAC] (1). Place hold

Koha online