瀏覽紀錄
TOP
企業採購
登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
2026諾貝爾文學獎
、
少年綠皮書
、
劉克襄
、
萬聖節
、
Bluey盒書
、
關於國旗的⼀切
、
無人機戰爭
、
紅樓夢心理學（上冊）
、
絕對超級大雨傘
、
最新綜合六法全書
、
2027年故宮月曆
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
💡 邁向小一的第一步！給孩子一本「查得到自信」的專屬辭典，輕鬆跨越閱讀關卡！🚀
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(95)
商品狀態
可訂購
(95)
無庫存
(95)
商品定價
$800以上
(95)
出版日期
2026年以後
(13)
2024~2025
(26)
2022~2023
(29)
2020~2021
(24)
2018~2019
(3)
裝訂方式
平裝
(86)
精裝
(9)
出版社/品牌
Springer Nature
(95)
作者
Tiziana Margaria(EDI)
(18)
Antonio Cerone(EDI)
(3)
Emil Sekerinski(EDI)
(3)
Guo-Qiang Zhang
(3)
Maurice H. Ter Beek(EDI)
(3)
Aaron Dutle(EDI)
(2)
Anne E. Haxthausen(EDI)
(2)
Augusto Sampaio(EDI)
(2)
Gustavo Carvalho(EDI)
(2)
Markus Roggenbach
(2)
Plácido Lizancos Mora(EDI)
(2)
Sara Eloy(EDI)
(2)
Adrian Riesco(EDI)
(1)
Alberto Lluch Lafuente(EDI)
(1)
Alessandro Aldini(EDI)
(1)
Alessandro Cimatti(EDI)
(1)
Alexandre Madeira(EDI)
(1)
Andre Platzer(EDI)
(1)
André Platzer(EDI)
(1)
Anne Remke(EDI)
(1)
More
搜尋結果
/
Formal Methods
篩選
關鍵字：Formal Methods
出版社/品牌:Springer Natu...
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
95
筆
第
1
/ 3
頁
預購
滿額折
1.
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems: 13th Inter
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
2.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Sympos
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
3.
Leveraging Applications of Formal Methods, Verification and Validation. X-By-Construction Meets Intersymbolic AI: 13th International Symposium, Isola
出版日：
2026/11/01
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
4.
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13
出版日：
2026/11/01
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
5.
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contracts: 13th International Sympos
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
6.
Formal Methods for Industrial Critical Systems: 31st International Conference, Fmics 2026, Liverpool, Uk, September 3-4, 2026, Proceedings
出版日：
2026/10/04
作者：
Peter Gorm Larsen(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
7.
Software Engineering and Formal Methods. Sefm 2025 Collocated Workshops: Reacts 2025 and Cifma 2025, Toledo, Spain, November 11, 2025, Revised Selecte
出版日：
2026/09/23
作者：
Francesco Bianchini(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
8.
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings
出版日：
2026/06/18
作者：
Gustavo Carvalho(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
滿額折
9.
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
出版日：
2024/10/08
作者：
Emil Sekerinski(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
滿額折
10.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2023/06/24
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
11.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2021/05/25
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
12.
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7fma), Porto 2024
出版日：
2025/09/23
作者：
Bruno Marques(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
13.
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISo
出版日：
2021/10/12
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020
出版日：
2021/02/28
作者：
Sara Eloy(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
15.
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6fma), a Coruña 2022
出版日：
2023/08/27
作者：
Plácido Lizancos Mora(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
16.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2025/07/11
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
定價：3479 元
無庫存
滿額折
17.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2023/11/23
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
18.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2022/10/25
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
19.
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2
出版日：
2023/12/01
作者：
Yi Li(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
20.
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024
出版日：
2024/11/29
作者：
Kazuhiro Ogata(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
21.
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022,
出版日：
2022/11/10
作者：
Adrian Riesco(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
22.
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
出版日：
2024/09/21
作者：
Dirk Beyer(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
23.
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
出版日：
2020/12/08
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
24.
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
出版日：
2023/03/03
作者：
Marsha Chechik(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
25.
Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings
出版日：
2023/02/21
作者：
Catherine DuBois(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
26.
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
出版日：
2021/12/11
作者：
Marieke Huisman(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
27.
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings
出版日：
2025/12/16
作者：
Ferruccio Damiani(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
28.
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings
出版日：
2024/11/13
作者：
Nikolai Kosmatov(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
29.
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
出版日：
2022/07/01
作者：
Maurice H. Ter Beek(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
30.
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
出版日：
2021/01/17
作者：
Brijesh Dongol(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
31.
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
出版日：
2026/06/14
作者：
Augusto Sampaio(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
32.
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
出版日：
2026/06/12
作者：
Augusto Sampaio(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
33.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,
出版日：
2024/10/26
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
34.
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
出版日：
2024/10/12
作者：
Andre Platzer(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
35.
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
出版日：
2024/10/09
作者：
André Platzer(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
36.
NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings
出版日：
2023/06/26
作者：
Kristin Yvonne Rozier(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
37.
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
出版日：
2022/06/23
作者：
Jyotirmoy V. Deshmukh(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
38.
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
出版日：
2021/11/21
作者：
João F. Ferreira(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
39.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
出版日：
2020/12/10
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
40.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications
出版日：
2020/10/27
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
共
95
筆
第
3
頁
1
2
3
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
