熱搜：

公務員每月一書

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

165反詐騙

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

縮小範圍

商品類型

原文書（2）

商品狀況

可訂購商品（2）

庫存狀況

無庫存（2）

商品定價

$800以上（2）

出版日期

2019~2020 （1）

2017年以前（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頁

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 裝訂：平裝

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

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

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

無法訂購

共2 筆
1 頁

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

熱搜：

哥吉拉大解剖圖鑑

UFO Cat

難哄

節能LED燈泡

史坎德3新上市

2025線上國際書展

特價字典展