博客來-作者-Palsberg

熱門搜尋

分類(單選)	所有商品(7) 圖書(7) 顯示所有篩選
配送方式(可複選)	可海外宅配(7) 可港澳店取(2) 可新加坡店取(2) 可菲律賓店取(2)
上市日期(可複選)	一個月內上市新品(1)
其他(可複選)

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

呈現:

列表
小圖

		Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 外文書 , Jens (EDT) Palsberg , Ingram , 出版日期: 2009-08-28 優惠價: 3299 元 This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, in... more	放入購物車下次再買
		Static Analysis: 16th International Symposium, Sas 2009, Los Angeles, Ca, USA, August 9-11, 2009, Proceedings 外文書 , Jens (EDT)/ Su Palsberg Zhendong (EDT) , Ingram , 出版日期: 2009-07-20 優惠價: 3299 元 This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... more	放入購物車下次再買
		Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings 外文書 , Havelund Jens (EDT) Klaus (EDT)/ Majumdar Rupak (EDT)/ Palsberg , Ingram , 出版日期: 2008-07-25 優惠價: 3299 元 This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Chec... more	放入購物車下次再買
		Tools And Algorithms for the Construction And Analysis of Systems: 12th Internation Converence, TACAS 2006 Held as Part of the J 外文書 , Hermanns Holger (EDT)/ Palsberg Jens (EDT) , Ingram , 出版日期: 2006-04-01 優惠價: 6950 元 ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Softwa... more	放入購物車下次再買
		Static Analysis: 7th International Symposium, Sas 2000, Santa Barbara, Ca, Usa, June 29 - July 1, 2000 Proceedings 外文書 , Jens (EDT) Palsberg , Ingram , 出版日期: 2000-06-14 優惠價: 5950 元 . Special thanks to Wanjun Wang for helping me from start to ?nish. April 2000 Jens Palsberg General Chair David Schmidt Kansas...... more	放入購物車下次再買
		Principles and Practices of Building Parallel Software: Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday 外文書 , Barik Gupta Jens Palsberg Rajiv Rajkishore , Ingram , 出版日期: 2025-06-28 優惠價: 5999 元	放入購物車下次再買
		Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed 外文書 , Dillig Isil Jens Palsberg , Ingram , 出版日期: 2018-01-10 優惠價: 3299 元 This book constitutes the refereed proceedings of the 19th International Conference on Verification,... more	放入購物車下次再買

全選

放入購物車

搜尋推薦