博客來-作者-Kim Guldstrand

熱門搜尋

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

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

呈現:

列表
小圖

		Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe 外文書 , Groote Jan Friso Kim Guldstrand Larsen , Ingram , 出版日期: 2021-03-23 優惠價: 2999 元 This open access two-volume set constitutes the proceedings of the 27th International Conference on ... more	放入購物車下次再買
		Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe 外文書 , Groote Jan Friso Kim Guldstrand Larsen , Ingram , 出版日期: 2021-03-20 優惠價: 2999 元 This open access two-volume set constitutes the proceedings of the 27th International Conference on ... more	放入購物車下次再買
		Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings 外文書 , Kim Guldstrand Larsen Tim Willemse , Ingram , 出版日期: 2019-07-25 優惠價: 3299 元 This book constitutes the proceedings of the 24th International Conference on Formal Methods for Ind... more	放入購物車下次再買
		Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P 外文書 , Ji Kim Guldstrand Larsen Oleg Sokolsky Wang , Ingram , 出版日期: 2017-10-17 優惠價: 3299 元 This book constitutes the proceedings of the Third International Symposium on Dependable Software En... more	放入購物車下次再買
		Reachability Problems: 10th International Workshop, Rp 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 外文書 , Igor Jiří Kim Guldstrand Larsen Potapov Srba , Ingram , 出版日期: 2016-09-13 優惠價: 3299 元 This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Pr... more	放入購物車下次再買
		Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings 外文書 , Akash D’Souza Deepak Kim Guldstrand Lal Larsen , Ingram , 出版日期: 2015-01-07 優惠價: 3299 元 This book constitutes the refereed proceedings of the 16th International Conference on Verification,... more	放入購物車下次再買

全選

放入購物車

搜尋推薦