瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
東野圭吾
、
高希均教授回憶錄
、
The Odyssey
、
父親節
、
如果歷史是一群喵
、
暑期推薦
、
國際布克獎 臺灣漫遊錄
、
方念華
、
台灣的李登輝時代
、
數學女孩：黎曼猜想
、
偉大的迷走神經
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
英國出版界指標大獎肯定！A.F. Steadman 獲年度作家，《史坎德》系列帶你踏上熱血奇幻旅程
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(19)
商品狀態
可訂購
(19)
無庫存
(19)
商品定價
$800以上
(19)
出版日期
2026年以後
(3)
2024~2025
(7)
2022~2023
(5)
2020~2021
(4)
裝訂方式
平裝
(17)
精裝
(2)
出版社/品牌
Springer Nature
(19)
作者
Krishna S(EDI)
(2)
Marieke Huisman
(2)
Rayna Dimitrova(EDI)
(2)
Alfons Laarman(EDI)
(1)
Bernd Finkbeiner(EDI)
(1)
Cezara Dragoi(EDI)
(1)
Edmund M. Clarke(EDI)
(1)
Ernst-Rüdiger Olderog(EDI)
(1)
Fritz Henglein(EDI)
(1)
Georgiana Caltais(EDI)
(1)
Gidon Ernst(EDI)
(1)
Owolabi Legunsen(EDI)
(1)
Stéphane Demri
(1)
Thomas Neele
(1)
Vincenzo Ciancia(EDI)
(1)
Yu-Fang Chen(EDI)
(1)
More
搜尋結果
/
Model Checking
篩選
關鍵字：Model Checking
出版社/品牌:Springer Natu...
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
19
筆
第
1
/ 1
頁
預購
滿額折
1.
Model Checking Software: 32nd International Symposium, Spin 2026, Turin, Italy, April 15-16, 2026, Proceedings
出版日：
2026/09/28
作者：
Vincenzo Ciancia(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
預購中
2.
Verification, Model Checking, and Abstract Interpretation: 27th International Conference, Vmcai 2026, Rennes, France, January 12-13, 2026, Proceedings
出版日：
2026/02/04
作者：
Yu-Fang Chen(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
3.
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
出版日：
2026/01/23
作者：
Stéphane Demri
出版社：
Springer Nature
裝訂：
精裝
定價：3189 元
無庫存
滿額折
4.
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings
出版日：
2025/11/04
作者：
Gidon Ernst(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
滿額折
5.
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding
出版日：
2025/02/19
作者：
Krishna S(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
滿額折
6.
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding
出版日：
2025/02/18
作者：
Krishna S(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
滿額折
7.
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
出版日：
2024/08/29
作者：
Thomas Neele
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
8.
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceed
出版日：
2024/01/22
作者：
Rayna Dimitrova(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
9.
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceed
出版日：
2024/01/19
作者：
Rayna Dimitrova(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
10.
Concise Guide to Software Verification: From Model Checking to Annotation Checking
出版日：
2023/06/28
作者：
Marieke Huisman
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
11.
Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings
出版日：
2023/06/09
作者：
Georgiana Caltais(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
12.
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding
出版日：
2023/02/17
作者：
Cezara Dragoi(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
13.
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
出版日：
2022/08/23
作者：
Owolabi Legunsen(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc
出版日：
2022/02/14
作者：
Bernd Finkbeiner(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
15.
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings
出版日：
2021/09/22
作者：
Alfons Laarman(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
16.
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Procee
出版日：
2021/02/23
作者：
Fritz Henglein(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
17.
Handbook of Model Checking
出版日：
2020/11/14
作者：
Edmund M. Clarke(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
18.
Concise Guide to Software Verification: From Model Checking to Annotation Checking
出版日：
2024/07/26
作者：
Marieke Huisman
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
19.
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
出版日：
2021/11/22
作者：
Ernst-Rüdiger Olderog(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
共
19
筆
第
1
頁
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
