博客來-作者-Hahnle

熱門搜尋

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

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

呈現:

列表
小圖

		Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings 外文書 , Beckert Bernhard (EDT)/ Hahnle Reiner (EDT) , Ingram , 出版日期: 2008-03-31 優惠價: 3299 元 This volume contains the research papers, invited papers, and abstracts of - torials presented at th... more	放入購物車下次再買
		Verification of Object-Oriented Software: The Key Approach 外文書 , Beckert Bernhard (EDT)/ Hahnle Peter H. (EDT) Reiner (EDT)/ Schmitt , Ingram , 出版日期: 2007-02-01 優惠價: 7000 元 Long gone are the days when program veri?cation was a task carried out merely by hand with paper and... more	放入購物車下次再買
		Handbook of Tableau Methods 外文書 , D’Agostino Dov M. (EDT)/ Hahnle Joachim (EDT) Marcello (EDT)/ Gabbay Reiner (EDT)/ Posegga , Ingram , 出版日期: 1999-03-31 優惠價: 17500 元 Recent years have been blessed with an abundance of logical systems, arising from a multitude of app... more	放入購物車下次再買
		Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 20 外文書 , Amel Bennaceur Hahnle Karl Meinke Reiner , Ingram , 出版日期: 2018-07-21 優惠價: 3899 元 Machine learning of software artefacts is an emerging area of interaction between the machine learni... more	放入購物車下次再買
		Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of 外文書 , Hahnle Jens Knoop Margaria Reiner Tiziana , Ingram , 出版日期: 2012-10-12 優惠價: 3299 元 This volume contains a selection of revised papers that were presented at the Software Aspects of Ro... more	放入購物車下次再買
		Handbook of Tableau Methods 外文書 , D’Agostino Dov M. Gabbay Hahnle M. Reiner , Ingram , 出版日期: 2010-12-07 優惠價: 13199 元	放入購物車下次再買
		Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 外文書 , Baumgartner Hahnle Joachim Peter Posegga Reiner , Ingram , 出版日期: 1995-04-26 優惠價: 3299 元	放入購物車下次再買
		Neue Formen des indischen Protest. Fallbeispiel Gulabi Gang: Neue Chancen, Möglichkeiten und Herausforderungen 外文書 , Ann-Katrin Hahnle , Ingram , 出版日期: 2016-09-14 優惠價: 1073 元	可訂購時通知我
		Pocket and Toast: The Great Acorn 外文書 , Hahnl John/ Hahnl Olivia (ILT) , Textstream , 出版日期: 2010-05-06 優惠價: 948 元	可訂購時通知我

全選

放入購物車

搜尋推薦