博客來-作者-Olveczky

熱門搜尋

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

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

呈現:

列表
小圖

		Formal Techniques for Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revise 外文書 , Artho Cyrille (EDT)/ Olveczky Peter Csaba (EDT) , Ingram , 出版日期: 2016-02-03 優惠價: 3299 元 This book constitutes the refereed proceedings of the 4th International Workshop on Formal Technique... more	放入購物車下次再買
		Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--3 外文書 , Artho Cyrille (EDT)/ Olveczky Peter Csaba (EDT) , Ingram , 出版日期: 2014-04-22 優惠價: 3299 元 This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... more	放入購物車下次再買
		Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cy 外文書 , Olveczky Peter Csaba (EDT) , Ingram , 出版日期: 2010-10-06 優惠價: 3299 元 Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Ap... more	放入購物車下次再買
		Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape 外文書 , Artho Cyrille Olveczky Peter Csaba , Ingram , 出版日期: 2019-02-02 優惠價: 3299 元 This book constitutes the refereed proceedings of the 6th International Workshop on Formal Technique... more	放入購物車下次再買
		Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings 外文書 , Bae Kyungmin Olveczky Peter Csaba , Ingram , 出版日期: 2018-10-07 優惠價: 3299 元 This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspe... more	放入購物車下次再買
		Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers 外文書 , Braga Christiano Olveczky Peter Csaba , Ingram , 出版日期: 2016-01-30 優惠價: 3299 元 This book constitutes the revised selected papers from the 12th International Conference on Formal A... more	放入購物車下次再買
		Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday 外文書 , Carolyn Marti-Oliet Narciso Olveczky Peter Csaba Talcott , Ingram , 出版日期: 2015-08-21 優惠價: 3299 元	放入購物車下次再買
		Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 外文書 , Arbab Farhad Olveczky Peter Csaba , Ingram , 出版日期: 2012-11-23 優惠價: 3299 元 This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of... more	放入購物車下次再買
		Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings 外文書 , Gwen Olveczky Peter Csaba Salaun , Ingram , 出版日期: 2019-09-02 優惠價: 3299 元	可訂購時通知我

全選

放入購物車

搜尋推薦