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

縮小範圍


商品類型

原文書 (2)
商品狀況

可訂購商品 (2)
庫存狀況

無庫存 (2)
商品定價

$800以上 (2)
出版日期

2020~2021 (1)
2016年以前 (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
作者: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
滿額折
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天)

暢銷榜

客服中心

收藏

會員專區