博客來-作者-Willem-Paul de

熱門搜尋

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

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

呈現:

列表
小圖

		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 優惠價: 5940 元 This is a systematic and comprehensive introduction both to compositional proof methods for the stat... 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	放入購物車下次再買
		Compositionality: The Significant Difference: International Symposium, Compos’’97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures 外文書 , Amir Hans Langmaack Pnueli Roever Willem-Paul de , Ingram , 出版日期: 1998-12-18 優惠價: 6599 元	放入購物車下次再買
		Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys 外文書 , Hans Jan Langmaack Roever Vytopil Willem-Paul de , Ingram , 出版日期: 1994-09-07 優惠價: 6599 元	放入購物車下次再買
		Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings 外文書 , Bakker Grzegorz Jaco W. De Roever Rozenberg Willem-Paul de , Ingram , 出版日期: 1990-04-25 優惠價: 6599 元 This proceedings volume surveys the state of the art in concurrent program specification, verificati... more	放入購物車下次再買
		Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 外文書 , Bakker Grzegorz Jacobus W. De Roever Rozenberg Willem-Paul de , Ingram , 出版日期: 1989-03-30 優惠價: 6599 元 This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Log... more	放入購物車下次再買
		Current Trends in Concurrency: Overviews and Tutorials 外文書 , Bakker Grzegorz Jacobus W. De Roever Rozenberg Willem-Paul de , Ingram , 出版日期: 1986-06-01 優惠價: 6599 元	放入購物車下次再買

全選

放入購物車

搜尋推薦