博客來-作者-Hähnle

熱門搜尋

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

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

呈現:

列表
小圖

		Fundamental Approaches to Software Engineering 外文書 , Hähnle Reiner Van Der Aalst Wil , Ingram , 出版日期: 2020-10-08 優惠價: 3627 元	放入購物車下次再買
		Fundamental Approaches to Software Engineering 外文書 , Hähnle Reiner Van Der Aalst Wil , Ingram , 出版日期: 2020-10-08 優惠價: 2967 元	放入購物車下次再買
		Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held As Part of the European Joint Con 外文書 , Hähnle Reiner (EDT)/ van der Aalst Wil M. P. (EDT) , Ingram , 出版日期: 2019-04-04 優惠價: 3599 元 This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd In... more	放入購物車下次再買
		Deductive Software Verification: The Key Book; from Theory to Practice 外文書 , Ahrendt Bernhard (EDT)/ Bubel Peter H. (EDT) Reiner (EDT)/ Schmitt Richard (EDT)/ Hähnle Wolfgang (EDT)/ Beckert , Ingram , 出版日期: 2016-12-21 優惠價: 7799 元 Static analysis of software with deductive methods is a highly dynamic field of research on the verg... more	放入購物車下次再買
		Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 外文書 , De Boer Elena Frank S. Giachino Hähnle Reiner , Ingram , 出版日期: 2013-08-26 優惠價: 2999 元 This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and ... more	放入購物車下次再買

全選

放入購物車

搜尋推薦