博客來
搜尋結果
圖書
熱門搜尋
【我要重新搜尋】
orna
edt
hauptmann
精準搜尋
模糊搜尋
您輸入的關鍵字:
Orna (EDT) Hauptmann
分類
(單選)
所有商品(1)
圖書(1)
外文書(1)
顯示所有篩選
配送方式
(可複選)
可海外宅配(1)
其他
(可複選)
作者/演唱/譯/編/繪(1)
綜合排序
熱銷度
日期
價格
~
確認
可超取
搜尋結果共
1
筆, 頁數
1
/ 1
呈現:
列表
小圖
Software Safety and Security: Tools for Analysis and Verification
外文書
,
Benedikt (
EDT
)
Nipkow
Orna
(
EDT
)/
Hauptmann
Tobias (
EDT
)/ Grumberg
,
Ios Pr Inc
, 出版日期: 2012-06-15
優惠價:
7448
元
可訂購時通知我
全選
放入購物車
搜尋推薦
另外從您輸入的關鍵字中,推薦您關鍵字:
orna edt
的結果(
請點選看全部符合的商品
)
Contemporary Israeli-Turkish Relations in Comparative Perspective
優惠價:
7199
元
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, Octob
優惠價:
3299
元
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occation of His 65th Birthday
優惠價:
3299
元
Nazi Germany and the Jews, 1933-1945
優惠價:
722
元
25 Years of Model Checking: History, Achievements, Perspectives
優惠價:
2279
元
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the
優惠價:
6599
元
您可能感興趣的活動