博客來-作者-Gnesi

熱門搜尋

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

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

呈現:

列表
小圖

		Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held As Part of the European Joint Con 外文書 , Arend (EDT) Gnesi Stefania (EDT)/ Rensink , Ingram , 出版日期: 2014-03-17 優惠價: 3299 元 This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches... more	放入購物車下次再買
		Formal Methods for Industrial Critical Systems: A Survey of Applications 外文書 , Gnesi Stefania/ Margaria Tiziana , Ingram , 出版日期: 2012-12-17 優惠價: 5827 元 Today, formal methods are widely recognized as an essential step in the design process of industrial... more	放入購物車下次再買
		Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedin 外文書 , Derrick John (EDT)/ Fitzgerald John (EDT)/ Gnesi Michael (EDT) Sarfraz (EDT)/ Leuschel Stefania (EDT)/ Khurshid , Ingram , 出版日期: 2012-06-12 優惠價: 3299 元	放入購物車下次再買
		Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings 外文書 , Dino/ Mandrioli International Symposium of Formal Methods Europe 2003 (Pisa Italy)/ Araki Keijiro/ Gnesi Stefania/ Mandrioli , Ingram , 出版日期: 2003-08-27 優惠價: 8000 元 ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which ... more	放入購物車下次再買
		FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 外文書 , Constance Fitzgerald Gnesi Heitmeyer John Stefania , Ingram , 出版日期: 2016-11-08 優惠價: 3299 元 This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods... more	放入購物車下次再買
		Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 外文書 , Alexander Gnesi Knapp Maurice H. Stefania Ter Beek , Ingram , 出版日期: 2016-09-14 優惠價: 3299 元	放入購物車下次再買
		Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 外文書 , Derrick Diego Gnesi John Latella Stefania , Ingram , 出版日期: 2012-06-06 優惠價: 3299 元	放入購物車下次再買

全選

放入購物車

搜尋推薦