博客來-作者-Ait-Ameur

熱門搜尋

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

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

呈現:

列表
小圖

		Engineering of Complex Computer Systems: 28th International Conference, Iceccs 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings 外文書 , Ait-Ameur Bai Fuyuki Guangdong Ishikawa Yamine , Ingram , 出版日期: 2024-09-29 優惠價: 4499 元 This book constitutes of the proceedings from the 28th International Conference on Engineering of Co... more	放入購物車下次再買
		Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings 外文書 , Ait-Ameur Dominique Méry Nakajima Shin Yamine , Ingram , 出版日期: 2021-07-29 優惠價: 6540 元 Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chap... more	放入購物車下次再買
		Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of Nii Shonan Meetings 外文書 , Ait-Ameur Dominique Méry Nakajima Shin Yamine , Ingram , 出版日期: 2020-07-28 優惠價: 6599 元 Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chap... more	放入購物車下次再買
		Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, 外文書 , Ait-Ameur Qin Shengchao Yamine , Ingram , 出版日期: 2019-10-06 優惠價: 3299 元 This book constitutes the proceedings of the 21st International Conference on Formal Engineering Met... more	放入購物車下次再買
		Model and Data Engineering: 4th International Conference, Medi 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings 外文書 , Ait Ameur Bellatreche George a. Ladjel Papadopoulos Yamine , Ingram , 出版日期: 2014-09-23 優惠價: 3299 元	放入購物車下次再買
		Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and 外文書 , Ait Ameur Boniol Frederic Virginie Wiels Yamine , Ingram , 出版日期: 2014-05-26 優惠價: 3299 元 This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ... more	放入購物車下次再買
		Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings 外文書 , Ait Ameur Klaus-Dieter Schewe Yamine , Ingram , 出版日期: 2014-05-21 優惠價: 3299 元 This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abs... more	放入購物車下次再買

全選

放入購物車

搜尋推薦