熱搜：

The Gruffalo and Other Stories

、

漫畫少年學墨菲定律

NEW 千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！

165反詐騙

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

縮小範圍

商品類型

原文書（2）

商品狀況

可訂購商品（2）

庫存狀況

無庫存（2）

商品定價

$800以上（2）

出版日期

2018~2019 （1）

2016年以前（1）

裝訂方式

平裝（2）

作者

Bernhard Beckert (EDT)/ Ferruccio Damiani (EDT)/ Frank S. De Boer (EDT)/ Marcello M. Bonsangue (EDT) （1）

Robert Krimmer (EDT)/ Melanie Volkamer (EDT)/ Veronique Cortier (EDT)/ Bernhard Beckert (EDT)/ Ralf Küsters (EDT) （1）

出版社/品牌

Springer Verlag （1）

Springer-Nature New York Inc （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共2筆商品，1/1頁

滿額折

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天)

滿額折

Electronic Voting ― 4th International Conference, E-vote 2019, Bregenz, Austria, October 1-4, 2019, Proceedings

作者：Robert Krimmer (EDT); Melanie Volkamer (EDT); Veronique Cortier (EDT); Bernhard Beckert (EDT); Ralf Küsters (EDT) 出版社：Springer-Nature New York Inc 出版日：2019/09/02 裝訂：平裝

定價：3150 元，優惠價：1 3150

無庫存，下單後進貨(到貨天數約30-45天)

共2 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

熱搜：

新基本小六法

買書看棒球!

618好書五折起

一個台灣人在烏克蘭的戰爭洗禮