博客來-作者-Ter Beek

熱門搜尋

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

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

呈現:

列表
小圖

		Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conf 外文書 , Marjan Maurice H. Sirjani Ter Beek , Ingram , 出版日期: 2022-07-06 優惠價: 7799 元 This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on C... more	放入購物車下次再買
		Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings 外文書 , Maurice H. Monahan Rosemary Ter Beek , Ingram , 出版日期: 2022-06-01 優惠價: 5099 元 This book constitutes the refereed proceedings of the 17th International Conference on Integrated Fo... more	放入購物車下次再買
		Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings 外文書 , Dejan Maurice H. Ničkovic Ter Beek , Ingram , 出版日期: 2020-08-29 優惠價: 3299 元 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Indus... more	放入購物車下次再買
		Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings 外文書 , Annabelle Jose N. Maurice H. McIver Oliveira Ter Beek , Ingram , 出版日期: 2019-09-15 優惠價: 3299 元 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel... more	放入購物車下次再買
		From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday 外文書 , Alessandro Fantechi Laura Maurice H. Semini Ter Beek , Ingram , 出版日期: 2019-09-14 優惠價: 3299 元 This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contain... 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 元	放入購物車下次再買
		Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers 外文書 , Lohmann Maurice H. Niels Ter Beek , Ingram , 出版日期: 2013-04-25 優惠價: 2999 元 This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... more	放入購物車下次再買

全選

放入購物車

搜尋推薦