博客來-作者-De Roever

熱門搜尋

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

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

呈現:

列表
小圖

		Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12 外文書 , David de Roever Gries Willem-Paul , Ingram , 出版日期: 2013-01-22 優惠價: 13199 元	放入購物車下次再買
		Concurrency Verification: Introduction to Compositional and Non-Compositional Methods 外文書 , De Roever Frank/ Hanneman Jozef/ Lakhnech Ulrich/ Hooman Willem-Paul/ De Boer Yassine , Ingram , 出版日期: 2012-01-26 優惠價: 5579 元 This is a systematic and comprehensive introduction both to compositional proof methods for the stat... more	放入購物車下次再買
		Data Refinement: Model-Oriented Proof Methods and Their Comparison 外文書 , de Roever Engelhardt Kai Willem-Paul , Ingram , 出版日期: 2008-12-18 優惠價: 4019 元	放入購物車下次再買
		Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 20 外文書 , De Boer Frank S. (EDT)/ Bonsangue Marcello M. (EDT)/ Graf Susanne (EDT)/ De Roever Willem-Paul (EDT) , Ingram , 出版日期: 2008-12-01 優惠價: 3299 元	放入購物車下次再買
		Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 200 外文書 , De Boer Frank S. (EDT)/ Bonsangue Marcello M. (EDT)/ Graf Susanne (EDT)/ De Roever Willem-Paul (EDT) , Ingram , 出版日期: 2006-09-01 優惠價: 5950 元 Formal methods have been applied successfully to the verification of medium-sized programs in protoc... more	放入購物車下次再買
		Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Re 外文書 , Fmco 200 (2002 Leiden Fran Marcello M. (EDT)/ Graf Netherlands)/ Bonsangue Susanne (EDT)/ De Roever Willem-Paul (EDT)/ Boer , Ingram , 出版日期: 2003-10-09 優惠價: 6450 元 Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to con... more	放入購物車下次再買
		Data Refinement: Model-Oriented Proof Methods and Their Comparison 外文書 , K. H./ De Roever Kai/ Buth Roever W. P. De/ Engelhardt Willem-Paul , Ingram , 出版日期: 1998-12-03 優惠價: 9600 元 The goal of this book is to provide a comprehensive and systematic introduction to the important and... more	放入購物車下次再買
		Programming Concepts and Methods Procomet ’’98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet ’’98) 8-12 外文書 , David de Roever Gries Willem-Paul , Ingram , 出版日期: 1998-05-31 優惠價: 13199 元	放入購物車下次再買
		Swifterbant S4 (the Netherlands): Occupation and Exploitation of a Neolithic Levee Site (C. 4300-4000 Cal. Bc) 外文書 , D. C. M. De Roever J. P. Raemaekers , Ingram , 出版日期: 2020-08-31 優惠價: 3300 元	可訂購時通知我
		Semantics: Foundations and Applications : Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings 外文書 , De Bakker G. (EDT) J. W./ De Roever W. P./ Rozenberg , Springer Verlag , 出版日期: 1993-06-01 優惠價: 4142 元	可訂購時通知我

全選

放入購物車

搜尋推薦