TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

Sad Trombone

、

雷驤

、

佛法是科學的終極典範

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

熱搜： 漫畫少年學墨菲定律、 電影與文化冷戰、 Sad Trombone、 雷驤、 佛法是科學的終極典範、 新譯六祖壇經、 DragonMasters 1-23 、 新基本小六法

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型
原文書 （9）
商品狀況
可訂購商品 （9）
庫存狀況
無庫存 （9）
商品定價
$800以上 （9）
出版日期
2024年 （1）
2020~2021 （1）
2016年以前 （7）
裝訂方式
平裝 （6）
精裝 （3）
作者
Frank de Boer(EDI) （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）
Frank W. Delrio (EDT)/ Maarten P. De Boer (EDT)/ Christoph Eberl (EDT)/ Evgeni Gusev (EDT) （1）
Krzysztof R. Apt/ Frank S. De Boer/ Ernst-Rudiger Olderog （1）
Tim Albrecht (EDT)/ Maarten P. De Boer (EDT)/ Frank W. Delrio (EDT)/ Mehmet R. Dokmeci (EDT)/ Christoph Eberl (EDT) （1）
More
出版社/品牌
Springer-Verlag New York Inc （4）
CAMBRIDGE UNIVERSITY PRESS （2）
Springer Nature （2）
Springer Verlag （1）

三民網路書店 / 搜尋結果

共9筆商品，1/1頁
Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
1.

Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings

作者：Frank de Boer(EDI)  出版社：Springer Nature  出版日：2020/09/12 裝訂：平裝
定價：3150 元， 優惠價：1 3150
無庫存，下單後進貨(到貨天數約30-45天)
Active Object Languages: Current Research Trends
2.

Active Object Languages: Current Research Trends

作者：Frank de Boer(EDI)  出版社：Springer Nature  出版日：2024/02/01 裝訂：平裝
定價：3375 元， 優惠價：1 3375
無庫存，下單後進貨(到貨天數約30-45天)
Verification of Sequential and Concurrent Programs
3.

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]。
Microelectromechanical Systems - Materials and Devices IV
4.

Microelectromechanical Systems - Materials and Devices IV

作者：Frank W. Delrio (EDT); Maarten P. De Boer (EDT); Christoph Eberl (EDT); Evgeni Gusev (EDT)  出版社：CAMBRIDGE UNIVERSITY PRESS  出版日：2011/04/30 裝訂：精裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Formal Methods for Components and Objects
滿額折
5.

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
滿額折
6.

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

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

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]。
MEMS, BioMEMS and Bioelectronics-Materials and Devices—Symposium Held November 28 - December 2, 2011, Boston, Massachusetts, U.s.a.
9.

MEMS, BioMEMS and Bioelectronics-Materials and Devices—Symposium Held November 28 - December 2, 2011, Boston, Massachusetts, U.s.a.

作者：Tim Albrecht (EDT); Maarten P. De Boer (EDT); Frank W. Delrio (EDT); Mehmet R. Dokmeci (EDT); Christoph Eberl (EDT)  出版社：CAMBRIDGE UNIVERSITY PRESS  出版日：2012/07/09 裝訂：精裝
Symposium TT, Microelectromechanical Systems Materials and Devices V, held from November 28 30, 2011 at the 2011 MRS Fall Meeting in Boston, Massachusetts, explored the fabrication, integration, chara
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
  • 共

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