TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

Sad Trombone

、

雷驤

、

老公怎麼還不去死

、

佛法是科學的終極典範

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

、

國土計畫法

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

165反詐騙

倒數三天！簡體曬書節單本79折，5本7折

縮小範圍

商品類型
原文書 （3）
商品狀況
可訂購商品 （3）
庫存狀況
無庫存 （3）
商品定價
$800以上 （3）
出版日期
2016年以前 （3）
裝訂方式
平裝 （3）
作者
Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT)/ Stefan Hallerstede (EDT)/ Michael Leuschel (EDT) （1）
John Derrick (EDT)/ John S. Fitzgerald (EDT)/ Stefania Gnesi (EDT)/ Sarfraz Khurshid (EDT)/ Michael Leuschel (EDT) （1）
Michael Leuschel (EDT)/ Heike Wehrheim (EDT) （1）
出版社/品牌
Springer-Verlag New York Inc （3）

三民網路書店 / 搜尋結果

共3筆商品，1/1頁
Integrated Formal Methods ─ 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
1.

Integrated Formal Methods ─ 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

作者：Michael Leuschel (EDT); Heike Wehrheim (EDT)  出版社：Springer-Verlag New York Inc  出版日：2009/03/01 裝訂：平裝
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009.The 21 revised full papers prese
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Abstract State Machines, Alloy, B, VDM, and Z—Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings
2.

Abstract State Machines, Alloy, B, VDM, and Z—Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings

作者：John Derrick (EDT); John S. Fitzgerald (EDT); Stefania Gnesi (EDT); Sarfraz Khurshid (EDT); Michael Leuschel (EDT)  出版社：Springer-Verlag New York Inc  出版日：2012/07/03 裝訂：平裝
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented toget
無法訂購
若需訂購本書，請電洽客服
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
3.

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

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