縮小範圍

商品類型

原文書（6）

商品狀況

可訂購商品（6）

庫存狀況

無庫存（6）

商品定價

$800以上（6）

出版日期

2016年以前（6）

裝訂方式

平裝（4）

精裝（2）

作者

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）

Krzysztof R. Apt/ Frank S. De Boer/ Ernst-Rudiger Olderog （1）

出版社/品牌

Springer-Verlag New York Inc （4）

Cab Intl （1）

Springer Verlag （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共6筆商品，1/1頁

Verification of Sequential and Concurrent Programs

作者：Krzysztof R. Apt; Frank S. De Boer; Ernst-Rudiger Olderog 出版社：Springer-Verlag New York Inc 出版日：2009/10/01 裝訂：精裝

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that i

無法訂購

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

滿額折

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

Biotechnology and Plant Disease Management

作者：Z. K. Punja (EDT); S. De Boer (EDT); H. Sanfacon (EDT) 出版社：Cab Intl 出版日：2008/03/02 裝訂：精裝

無法訂購

若需訂購本書，請電洽客服
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]。

共6 筆
1 頁

熱搜：

佛法是科學的終極典範

民主與兩岸動向

老公怎麼還不去死

巨人的背影

DragonMasters 1-23

零基礎AI入門書

永續發展相關規範與實務

新基本小六法

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Verification of Sequential and Concurrent Programs

Formal Methods for Components and Objects

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

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

Biotechnology and Plant Disease Management

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