博客來-作者-Somenzi

		Abstraction Refinement for Large Scale Model Checking 外文書 , Chao Fabio Gary D. Hachtel Somenzi Wang , Ingram , 出版日期: 2014-12-06 優惠價: 8399 元 The techniques proposed in this book are fully automatic and are crucial at improving the performanc... more	放入購物車下次再買
		Logic Synthesis and Verification Algorithms 外文書 , Fabio Gary D. Hachtel Somenzi , Ingram , 出版日期: 2013-03-18 優惠價: 5999 元	放入購物車下次再買
		Abstraction Refinement for Large Scale Model Checking 外文書 , Chao/ Hachtel Fabio Gary D./ Somenzi Wang , Ingram , 出版日期: 2006-07-20 優惠價: 8000 元 The techniques proposed in this book are fully automatic and are crucial at improving the performanc... more	放入購物車下次再買
		Logic Synthesis And Verification Algorithms 外文書 , Fabio Gary D./ Somenzi Hachtel , Ingram , 出版日期: 2006-02-10 優惠價: 4500 元 Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developm... more	可訂購時通知我
		Logic Synthesis and Verification Algorithms 外文書 , Fabio Gary D./ Somenzi Hachtel , Ingram , 出版日期: 1996-06-30 優惠價: 5999 元 Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthes... more	可訂購時通知我

搜尋推薦