博客來-作者-Kosmatov

熱門搜尋

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

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

呈現:

列表
小圖

		Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings 外文書 , Kosmatov Kovács Laura Nikolai , Ingram , 出版日期: 2024-11-13 優惠價: 8399 元 This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... more	放入購物車下次再買
		Guide to Software Verification with Frama-C: Core Components, Usages, and Applications 外文書 , Julien Kosmatov Nikolai Prevosto Signoles Virgile , Ingram , 出版日期: 2024-07-10 優惠價: 4199 元 the analyzers will be of interest for graduate students and researchers. Nikolai Kosmatov is a Senior Researcher at Thales...... more	放入購物車下次再買
		Testing Software and Systems: 31st Ifip Wg 6.1 International Conference, Ictss 2019, Paris, France, October 15-17, 2019, Proceedings 外文書 , Christophe Gaston Kosmatov Le Gall Nikolai Pascale , Ingram , 出版日期: 2019-09-18 優惠價: 3299 元 This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on T... more	放入購物車下次再買
		Tests and Proofs: 9th International Conference, Tap 2015, Held as Part of Staf 2015, l’Aquila, Italy, July 22-24, 2015. Proceedings 外文書 , Blanchette Jasmin Christian Kosmatov Nikolai , Ingram , 出版日期: 2015-07-01 優惠價: 3299 元 This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... more	放入購物車下次再買

全選

放入購物車

搜尋推薦