博客來-作者-Melham

搜尋結果共 5 筆, 頁數 1 / 1

呈現:

		Higher Order Logic and Hardware Verification 外文書 , Melham T. F. , Ingram , 出版日期: 2009-07-02 優惠價: 2039 元 Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their...... more	放入購物車下次再買
		Stigma & The Cave 外文書 , D. H. Melham , Ingram , 出版日期: 2007-04-19 優惠價: 593 元 These two novels complete D. H. Melhem s trilogy, Patrimonies, that began with Blight. Stigma, a da... more	放入購物車下次再買
		Higher Order Logic and Hardware Verification 外文書 , Melham T. F. , Ingram , 出版日期: 1993-11-11 優惠價: 6660 元	放入購物車下次再買
		Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings 外文書 , Hurd Joe Melham Tom , Ingram , 出版日期: 2005-08-08 優惠價: 3299 元	放入購物車下次再買
		Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings 外文書 , Camilleri Juanito Melham Thomas F. , Ingram , 出版日期: 1994-09-07 優惠價: 3299 元	放入購物車下次再買

搜尋推薦