TOP
0
0
進階搜尋

熱搜：

哥吉拉大解剖圖鑑

、

UFO Cat

、

難哄

、

節能LED燈泡

、

史坎德3新上市

、

2025線上國際書展

、

特價字典展

、

國文爆卦公社２

、

公務員每月一書

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

165反詐騙

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

縮小範圍

商品類型
原文書 （2）
商品狀況
可訂購商品 （2）
庫存狀況
無庫存 （2）
商品定價
$800以上 （2）
出版日期
2021~2022 （1）
2017年以前 （1）
裝訂方式
平裝 （2）
作者
Bernhard Beckert (EDT)/ Ferruccio Damiani (EDT)/ Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT) （1）
Ferruccio Damiani(EDI) （1）
出版社/品牌
Springer Nature （1）
Springer Verlag （1）

三民網路書店 / 搜尋結果

共2筆商品，1/1頁
Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf
1.

Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf

作者：Ferruccio Damiani(EDI)  出版社：Springer Nature  出版日：2021/07/21 裝訂：平裝
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Formal Methods for Components and Objects ― 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
2.

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

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