博客來-作者-Sekerinski

熱門搜尋

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

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

呈現:

列表
小圖

		From Action Systems to Distributed Systems: The Refinement Approach 外文書 , Emil (EDT) Luigia (EDT)/ Sekerinski Petre , Taylor & Francis Asia Pacific , 出版日期: 2016-04-27 優惠價: 9075 元 Formal methods traditionally address the question of transforming software engineering into a mature... more	放入購物車下次再買
		FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings 外文書 , Emil (EDT) Jayadev (EDT)/ Nipkow Misra Tobias (EDT)/ Sekerinski , Ingram , 出版日期: 2006-09-01 優惠價: 7450 元 This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... more	放入購物車下次再買
		Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings 外文書 , Emil Leila Ribeiro Sekerinski , Ingram , 出版日期: 2024-09-05 優惠價: 2699 元 This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, ... more	放入購物車下次再買
		Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I 外文書 , Emil José N. Moreira Nelma Oliveira Sekerinski , Ingram , 出版日期: 2020-08-13 優惠價: 3299 元 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu... more	放入購物車下次再買
		Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II 外文書 , Emil José N. Moreira Nelma Oliveira Sekerinski , Ingram , 出版日期: 2020-08-11 優惠價: 3299 元 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu... more	放入購物車下次再買
		From Action Systems to Distributed Systems: The Refinement Approach 外文書 , Emil Luigia Petre Sekerinski , Taylor & Francis Asia Pacific , 出版日期: 2020-06-30 優惠價: 2474 元	放入購物車下次再買
		Integrated Formal Methods: 11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings 外文書 , Albert Elvira Emil Sekerinski , Ingram , 出版日期: 2014-09-15 優惠價: 3299 元 This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... more	放入購物車下次再買
		Program Development by Refinement: Case Studies Using the B Method 外文書 , Emil Kaisa Sekerinski Sere , Ingram , 出版日期: 1998-10-23 優惠價: 13199 元 The Idea of Program Refinement Programs are complex. They are typically so complex, that they go bey... more	放入購物車下次再買

全選

放入購物車

搜尋推薦