TOP
0
0
進階搜尋

熱搜：

英雄聯盟奧術🔥

、

楊双子

、

2025三民手札

、

制度基因

、

葉嘉瑩

、

膽大黨

、

2025國家公園月曆

、

黃越綏最新創作

、

蔡康永

、

配息

熱搜： 英雄聯盟奧術🔥 、 楊双子、 2025三民手札、 制度基因、 葉嘉瑩、 膽大黨、 2025國家公園月曆、 黃越綏最新創作、 蔡康永、 配息

165反詐騙

古典詩詞的女兒-葉嘉瑩

縮小範圍

商品類型
原文書 （5）
商品狀況
可訂購商品 （5）
庫存狀況
無庫存 （5）
商品定價
$800以上 （5）
出版日期
2020~2021 （4）
2016年以前 （1）
裝訂方式
平裝 （3）
精裝 （2）
作者
Serdar Tasiran （4）
Shaz Qadeer (EDT)/ Serdar Tasiran (EDT) （1）
出版社/品牌
Lightning Source Inc （4）
Springer Verlag （1）

三民網路書店 / 搜尋結果

共5筆商品，1/1頁
Computer Aided Verification
1.

Computer Aided Verification

作者：Serdar Tasiran  出版社：Lightning Source Inc  出版日：2020/10/08 裝訂：平裝
無庫存，下單後進貨(到貨天數約30-45天)
定價：3117 元， 優惠價：1 3117
Computer Aided Verification
2.

Computer Aided Verification

作者：Serdar Tasiran  出版社：Lightning Source Inc  出版日：2020/10/08 裝訂：精裝
無庫存，下單後進貨(到貨天數約30-45天)
定價：3717 元， 優惠價：1 3717
Computer Aided Verification
3.

Computer Aided Verification

作者：Serdar Tasiran  出版社：Lightning Source Inc  出版日：2020/10/08 裝訂：平裝
無庫存，下單後進貨(到貨天數約30-45天)
定價：3357 元， 優惠價：1 3357
Computer Aided Verification
4.

Computer Aided Verification

作者：Serdar Tasiran  出版社：Lightning Source Inc  出版日：2020/10/08 裝訂：精裝
無庫存，下單後進貨(到貨天數約30-45天)
定價：3957 元， 優惠價：1 3957
Runtime Verification ― Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
5.

Runtime Verification ― Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

作者：Shaz Qadeer (EDT); Serdar Tasiran (EDT)  出版社：Springer Verlag  出版日：2013/01/11 裝訂：平裝
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 rev
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共

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