博客來-作者-Ravara

熱門搜尋

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

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

呈現:

列表
小圖

		Behavioural Types: From Theory to Tools 外文書 , António (EDT) Gay Simon (EDT)/ Ravara , Ingram , 出版日期: 2017-07-31 優惠價: 6600 元 Behavioural type systems in programming languages support the specification and verification of prop... more	放入購物車下次再買
		Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In 外文書 , António Huisman Marieke Ravara , Ingram , 出版日期: 2023-06-10 優惠價: 4799 元 This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on F... more	放入購物車下次再買
		Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, Ws-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12 外文書 , Antonio Hildebrandt Jan Martijn Ravara Thomas Van Der Werf , Ingram , 出版日期: 2016-04-20 優惠價: 2699 元 This volume contains the refereed joint proceedings of two initiatives that have been devoted to the... more	放入購物車下次再買
		Missao Portugal 2007: Uma Casa Efemera: Instalacoes Permanentes para a Presidencia Portuguesa da Uniao Europeia no Pavilhao Atla 外文書 , Axel/ Ravara Carsten (EDT)/ Leitao Fernando (PHT) Jaime/ Dias Land Manuel Graca/ Sowa Pedro/ Guerra , Ingram , 出版日期: 2010-04-01 優惠價: 1706 元 In the second half of 2007, the baton of the EU Council Presidency was passed to Portugal. The count... more	可訂購時通知我
		Coordination Models and Languages: 27th Ifip Wg 6.1 International Conference, Coordination 2025, Held as Part of the 20th International Federated Conf 外文書 , António Cinzia Di Giusto Ravara , Ingram , 出版日期: 2025-06-18 優惠價: 4499 元 This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on C... more	可訂購時通知我
		Behavioural Types: From Theory to Tools 外文書 , António Gay Ravara Simon , Ingram , 出版日期: 2024-10-21 優惠價: 2835 元 Behavioural type systems in programming languages support the specification and verification of prop... more	可訂購時通知我

全選

放入購物車

搜尋推薦