博客來-作者-Frank S. de

熱門搜尋

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

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

呈現:

列表
小圖

		Verification of Sequential and Concurrent Programs 外文書 , Apt Ernst-Rudiger Frank S. De/ Olderog Krzysztof R./ Boer , Ingram , 出版日期: 2009-10-05 優惠價: 6599 元 HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods ... more	放入購物車下次再買
		Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006, 外文書 , Boer Frank S. De (EDT)/ Bonsangue Marcello M. (EDT)/ Graf Susanne (EDT)/ Roever Willem-Paul de (EDT) , Ingram , 出版日期: 2007-12-18 優惠價: 3299 元 Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more	放入購物車下次再買
		Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004 外文書 , Boer Frank S. De (EDT)/ Bonsangue Marcello M. (EDT)/ Graf Susanne (EDT)/ Roever Willem-Paul de (EDT) , Ingram , 出版日期: 2005-10-01 優惠價: 4950 元 Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more	放入購物車下次再買
		Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures 外文書 , Boer Bonsangue Frank S. de Graf Marcello M. Susanne , Ingram , 出版日期: 2004-10-27 優惠價: 3299 元	放入購物車下次再買
		Latino Young Men and Boys in Search of Justice: Testimonies 外文書 , Acosta Frank De Jesús (EDT)/ Ramos Henry A. J. (EDT)/ Rodriguez Luis J. (FRW) , Ingram , 出版日期: 2016-01-01 優惠價: 644 元	可訂購時通知我

全選

放入購物車

搜尋推薦