博客來-作者-Roggenbach

熱門搜尋

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

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

呈現:

列表
小圖

		Formal Methods for Software Engineering: Languages, Methods, Application Domains 外文書 , Antonio Bernd-Holger Cerone Markus Roggenbach Schlingloff , Ingram , 出版日期: 2023-06-24 優惠價: 3599 元 . Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate...... more	放入購物車下次再買
		Formal Methods for Software Engineering: Languages, Methods, Application Domains 外文書 , Antonio Bernd-Holger Cerone Markus Roggenbach Schlingloff , Ingram , 出版日期: 2022-06-23 優惠價: 5099 元 . Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate...... more	放入購物車下次再買
		Algebra And Coalgebra in Computer Science: Fist International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedi 外文書 , Fiadeiro Jan (EDT)/ Calco (2005 Swansea Jose Luiz (EDT)/ Harman Markus (EDT)/ Rutten Neil (EDT)/ Roggenbach Wales)/ Fiadeir , Ingram , 出版日期: 2005-08-18 優惠價: 6450 元 Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach...... more	放入購物車下次再買
		Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday 外文書 , Anne E. Haxthausen Huang Markus Roggenbach Wen-Ling , Ingram , 出版日期: 2023-08-17 優惠價: 4499 元 This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers wri... more	放入購物車下次再買
		Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers 外文書 , Markus Roggenbach , Ingram , 出版日期: 2021-04-11 優惠價: 3299 元 This book constitutes the thoroughly refereed post-conference proceedings of the 25th International ... more	放入購物車下次再買
		Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Proceedings 外文書 , Antonio Cerone Markus Roggenbach , Ingram , 出版日期: 2021-03-11 優惠價: 3299 元 This volume constitutes the post-workshop proceedings of the First International Workshop on Formal ... more	放入購物車下次再買
		Recent Trends in Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Se 外文書 , James Markus Phillip Roggenbach , Ingram , 出版日期: 2017-12-08 優惠價: 3299 元 This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 In... more	放入購物車下次再買

全選

放入購物車

搜尋推薦