TOP
0
0
進階搜尋

熱搜：

哥吉拉大解剖圖鑑

、

UFO Cat

、

難哄

、

節能LED燈泡

、

史坎德3新上市

、

2025線上國際書展

、

特價字典展

、

國文爆卦公社２

、

公務員每月一書

熱搜： 哥吉拉大解剖圖鑑、 UFO Cat、 難哄、 節能LED燈泡、 史坎德3新上市、 2025線上國際書展、 特價字典展、 國文爆卦公社２、 公務員每月一書

165反詐騙

購書領優惠，滿額享折扣!

縮小範圍

商品類型
原文書 （5）
商品狀況
可訂購商品 （5）
庫存狀況
無庫存 （5）
商品定價
$800以上 （5）
出版日期
2017年以前 （5）
裝訂方式
平裝 （4）
精裝 （1）
作者
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）
Springer Verlag （1）

三民網路書店 / 搜尋結果

共5筆商品，1/1頁
Verification of Sequential and Concurrent Programs
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 ─ 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers
2.

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
3.

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
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Formal Methods for Components and Objects ― 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
4.

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
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Formal Methods for Components and Objects—6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers
5.

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]。
無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品