博客來-作者-Bouajjani

熱門搜尋

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

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

呈現:

列表
小圖

		Automated Technology for Verification and Analysis: 20th International Symposium, Atva 2022, Beijing, China, October 25-28, 2022, Proceedings 外文書 , Ahmed Bouajjani Holík Lukás Wu Zhilin , Ingram , 出版日期: 2022-10-23 優惠價: 5099 元 This book constitutes the refereed proceedings of the 20th International Symposium on Automated Tech... more	放入購物車下次再買
		Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 2017, Held as Part of the 12th In 外文書 , Ahmed Alexandra Bouajjani Silva , Ingram , 出版日期: 2017-05-28 優惠價: 3299 元 This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Tec... more	放入購物車下次再買
		Verification, Model Checking, and Abstract Interpretation: 18th International Conference, Vmcai 2017, Paris, France, January 15-17, 2017, Proceedings 外文書 , Ahmed Bouajjani David Monniaux , Ingram , 出版日期: 2017-01-12 優惠價: 3299 元 This book constitutes the refereed proceedings of the 18th International Conference on Verification,... more	放入購物車下次再買
		Networked Systems: Third International Conference, Netys 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers 外文書 , Ahmed Bouajjani Fauconnier Hugues , Ingram , 出版日期: 2016-03-24 優惠價: 3299 元 This book constitutes the revised selected papers of the Third International Conference on Networked... more	放入購物車下次再買
		Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings 外文書 , Ahmed Bouajjani Chin Wei-Ngan , Ingram , 出版日期: 2010-09-03 優惠價: 3299 元	放入購物車下次再買
		Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 外文書 , Ahmed Bouajjani Maler Oded , Ingram , 出版日期: 2009-06-19 優惠價: 6599 元 This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... more	放入購物車下次再買

全選

放入購物車

搜尋推薦