博客來-作者-Pnueli

熱門搜尋

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

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

呈現:

列表
小圖

		Two Approaches to Interprocedural Data Flow Analysis 外文書 , A. Micha Pnueli Sharir , Ingram , 出版日期: 2023-07-18 優惠價: 1702 元 This book provides an in-depth analysis of two approaches to interprocedural data flow analysis in c... more	放入購物車下次再買
		Two Approaches to Interprocedural Data Flow Analysis 外文書 , A. Micha Pnueli Sharir , Ingram , 出版日期: 2023-07-18 優惠價: 987 元 This book provides an in-depth analysis of two approaches to interprocedural data flow analysis in c... more	放入購物車下次再買
		The Temporal Logic of Reactive and Concurrent Systems: Specification 外文書 , Amir Manna Pnueli Zohar , Ingram , 出版日期: 2012-10-17 優惠價: 3299 元	放入購物車下次再買
		Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15 外文書 , Amir (EDT)/ Virbitskaite Andrei (EDT) Irina (EDT)/ Voronkov Pnueli , Ingram , 出版日期: 2010-02-08 優惠價: 3299 元 This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference... more	放入購物車下次再買
		Hybrid Systems: Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proce 外文書 , Amir/ Hscc 200 (2003 Prague Czech Republic) Freek/ Maler Oded/ Pnueli Wiedijk , Ingram , 出版日期: 2003-03-18 優惠價: 7450 元 This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Contro... more	放入購物車下次再買
		Fluid Mechanics 外文書 , Chaim David/ Gutfinger Pnueli , Ingram , 出版日期: 1997-01-13 優惠價: 6000 元 This text is intended for the study of fluid mechanics at an intermediate level. However, the presen... more	放入購物車下次再買
		Temporal Verification of Reactive Systems: Safety 外文書 , Amir Manna Zohar/ Pnueli , Ingram , 出版日期: 1995-08-04 優惠價: 6599 元 This book is about the verification of reactive systems. A reactive system is a system that maintain... more	放入購物車下次再買
		The Temporal Logic of Reactive and Concurrent Systems: Specification 外文書 , Amir Manna Zohar/ Pnueli , Ingram , 出版日期: 1991-12-18 優惠價: 7000 元 reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science...... more	放入購物車下次再買
		Compositionality: The Significant Difference: International Symposium, Compos’’97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures 外文書 , Amir Hans Langmaack Pnueli Roever Willem-Paul de , Ingram , 出版日期: 1998-12-18 優惠價: 6599 元	放入購物車下次再買

全選

放入購物車

搜尋推薦