熱搜：

蔡康永

NEW 千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！

165反詐騙

古典詩詞的女兒-葉嘉瑩

縮小範圍

商品類型

原文書（1）

商品狀況

可訂購商品（1）

庫存狀況

無庫存（1）

商品定價

$800以上（1）

出版日期

2016年以前（1）

裝訂方式

平裝（1）

作者

Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT)/ Stefan Hallerstede (EDT)/ Michael Leuschel (EDT) （1）

出版社/品牌

Springer-Verlag New York Inc （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共1筆商品，1/1頁

Formal Methods for Components and Objects ─ 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers

作者：Frank S. De Boer (EDT); Marcello M. Bonsangue (EDT); Stefan Hallerstede (EDT); Michael Leuschel (EDT) 出版社：Springer-Verlag New York Inc 出版日：2011/03/09 裝訂：平裝

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

無法訂購

共1 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

熱搜：

英雄聯盟奧術🔥

楊双子

2025三民手札

制度基因

葉嘉瑩

膽大黨

2025國家公園月曆

黃越綏最新創作

蔡康永

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Formal Methods for Components and Objects ─ 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers