博客來-作者-J. Strother

熱門搜尋

分類(單選)	所有商品(11) 圖書(11) 顯示所有篩選
配送方式(可複選)	可海外宅配(11) 可港澳店取(8) 可新加坡店取(8) 可菲律賓店取(8)
其他(可複選)

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

呈現:

列表
小圖

		Piton: A Mechanically Verified Assembly-Level Language 外文書 , J. Strother Moore , Ingram , 出版日期: 2013-10-03 優惠價: 3299 元 Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which ... more	放入購物車下次再買
		Computer-Aided Reasoning: Acl2 Case Studies 外文書 , J. Strother Kaufmann Manolios Matt Moore Panagiotis , Ingram , 出版日期: 2010-12-08 優惠價: 13199 元	放入購物車下次再買
		Computer-Aided Reasoning: Acl2 Case Studies 外文書 , J. Strother Kaufmann Manolios Matt Moore Panagiotis , Ingram , 出版日期: 2000-06-30 優惠價: 13199 元	放入購物車下次再買
		Formal Verification of Floating-point Hardware Design: A Mathematical Approach 外文書 , David M./ Moore J. Strother (FRW) Russinoff , Ingram , 出版日期: 2018-10-22 優惠價: 5999 元 This is the first book to focus on the problem of ensuring the correctness of floating-point hardwar... more	可訂購時通知我試閱
		The Little Prover 外文書 , Carl/ Bibby Daniel P./ Eastlund Duane (ILT)/ Moore Friedman J. Strother (FRW)/ Felleisen Matthias (AFT) , Ingram , 出版日期: 2015-07-10 優惠價: 2400 元 An introduction to writing proofs about computer programs, written in an accessible question-and-ans... more	可訂購時通知我
		Computer-Aided Reasoning: An Approach 外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis/ Moore , Springer Verlag , 出版日期: 2000-06-01 優惠價: 12502 元	可訂購時通知我
		Computer-aided Reasoning: Acl2 Case Studies 外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis (EDT)/ Moore , Ingram , 出版日期: 2000-06-01 優惠價: 19740 元 Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative wa... more	可訂購時通知我
		Piton: A Mechanically Verified Assembly-Level Language 外文書 , J. Strother Moore , Ingram , 出版日期: 1996-01-31 優惠價: 5940 元 Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which ... more	可訂購時通知我
		Introduction to Abstract Algebra 外文書 , J. Strother Moore , Ingram , 出版日期: 1975-02-28 優惠價: 7620 元 Introduction to Abstract Algebra provides insight into the methods of abstract algebra. This book pr... more	可訂購時通知我
		Dealing With Diversity: The Anthology 外文書 , Adams J. Q./ Strother-Adams Pearlie , Kendall Hunt Pub Co , 出版日期: 2008-11-30 優惠價: 3053 元	可訂購時通知我
		Dealing With Diversity: The Anthology 外文書 , Adams J. Q./ Strother-Adams Pearlie , Kendall Hunt Pub Co , 出版日期: 2001-07-01 優惠價: 1898 元	可訂購時通知我

全選

放入購物車

搜尋推薦