縮小範圍

商品類型

原文書（4）

商品狀況

可訂購商品（4）

庫存狀況

無庫存（4）

商品定價

$800以上（4）

出版日期

2016年以前（4）

裝訂方式

平裝（4）

作者

Bernhard Beckert (EDT)/ Ferruccio Damiani (EDT)/ Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT) （1）

Bernhard K. Aichernig (EDT)/ Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT) （1）

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

Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT)/ Susanne Graf (EDT)/ Willem-Paul De Roever (EDT) （1）

出版社/品牌

Springer-Verlag New York Inc （3）

Springer Verlag （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共4筆商品，1/1頁

滿額折

Formal Methods for Components and Objects

作者：Bernhard K. Aichernig (EDT); Frank S. De Boer (EDT); Marcello M. Bonsangue (EDT) 出版社：Springer-Verlag New York Inc 出版日：2012/04/10 裝訂：平裝

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented a

定價：3735 元，優惠價：1 3735

無庫存，下單後進貨(到貨天數約30-45天)

滿額折

Formal Methods for Components and Objects ― 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

作者：Bernhard Beckert (EDT); Ferruccio Damiani (EDT); Frank S. De Boer (EDT); Marcello M. Bonsangue (EDT) 出版社：Springer Verlag 出版日：2013/01/03 裝訂：平裝

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems

定價：3735 元，優惠價：1 3735

無庫存，下單後進貨(到貨天數約30-45天)

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]。

Formal Methods for Components and Objects—6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers

作者：Frank S. De Boer (EDT); Marcello M. Bonsangue (EDT); Susanne Graf (EDT); Willem-Paul De Roever (EDT) 出版社：Springer-Verlag New York Inc 出版日：2008/12/01 裝訂：平裝

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more

無法訂購

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

共4 筆
1 頁

熱搜：

玫瑰的故事（同名電視劇原著小說）

進擊的巨人：愛藏版

為美好的世界獻上祝福

迷宮飯

買書看棒球!

佛法是科學的終極典範

漫畫少年學墨菲定律

慶餘年

李洋