瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
國際布克獎 臺灣漫遊錄
、
石裂天驚創世紀：米開朗基羅
、
屁屁偵探讀本：怪盜學院 月亮篇
、
神木之島紀錄片幕後追尋
、
Jane Goodall
、
自由的兩種概念
、
輝達NVIDIA
、
楊双子
、
直覺失準
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
英國出版界指標大獎肯定！A.F. Steadman 獲年度作家，《史坎德》系列帶你踏上熱血奇幻旅程
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(1895)
商品狀態
可訂購
(1895)
無庫存
(1895)
商品定價
$800以上
(1895)
出版日期
2026年以後
(80)
2024~2025
(530)
2022~2023
(608)
2020~2021
(450)
2018~2019
(218)
2017年以前
(9)
裝訂方式
平裝
(978)
精裝
(917)
出版社/品牌
Springer Nature
(1895)
作者
Mehdi Rahmani-Andebili
(28)
Radek Silhavy(EDI)
(19)
Tiziana Margaria(EDI)
(13)
Banh Tien Long(EDI)
(9)
Dario Di Maio(EDI)
(6)
Fausto Pedro García Márquez(EDI)
(6)
Kenneth J. Berry
(6)
Marco Corazza(EDI)
(6)
Ming-Tzer Lin(EDI)
(5)
Roumen Kountchev(EDI)
(5)
Almo Farina
(4)
Christos H. Skiadas(EDI)
(4)
Erik Cuevas
(4)
Fatih Yilmaz(EDI)
(4)
Giacomo Albi(EDI)
(4)
Inamuddin(EDI)
(4)
Kurt Marti
(4)
Lakhmi C. Jain(EDI)
(4)
Margarita N. Favorskaya(EDI)
(4)
Muhammad Akram
(4)
More
搜尋結果
/
Formal Methods
篩選
關鍵字：Formal Methods
出版社/品牌:Springer Natu...
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
1895
筆
第
1
/ 48
頁
預購
滿額折
1.
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings
出版日：
2026/06/18
作者：
Gustavo Carvalho(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
預購中
滿額折
2.
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
出版日：
2024/10/08
作者：
Emil Sekerinski(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
3.
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]。
4.
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
出版日：
2022/01/19
作者：
Sara Eloy(EDI)
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
5.
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]。
6.
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]。
滿額折
7.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2025/07/11
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
3479
無庫存
8.
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6fma), a Coruña 2022
出版日：
2024/08/03
作者：
Plácido Lizancos Mora(EDI)
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
滿額折
9.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2023/11/23
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3769
無庫存
10.
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]。
11.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2022/10/25
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
12.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2023/06/24
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3479
無庫存
13.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2021/05/25
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
14.
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
出版日：
2024/09/21
作者：
Dirk Beyer(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
15.
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]。
滿額折
16.
Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings
出版日：
2023/02/21
作者：
Catherine DuBois(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3479
無庫存
17.
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]。
18.
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]。
19.
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]。
20.
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]。
21.
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]。
預購
滿額折
22.
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
出版日：
2026/06/12
作者：
Augusto Sampaio(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
2899
預購中
23.
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]。
24.
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]。
滿額折
25.
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
出版日：
2024/10/09
作者：
André Platzer(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
2899
無庫存
26.
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]。
27.
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]。
28.
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]。
29.
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]。
30.
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]。
31.
NASA Formal Methods: 18th International Symposium, Nfm 2026, Los Angeles, Ca, Usa, May 5-7, 2026, Proceedings
出版日：
2026/07/05
作者：
Jyotirmoy Deshmukh(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
32.
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
出版日：
2026/03/17
作者：
Barbara Fila(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
33.
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings
出版日：
2025/12/31
作者：
Maurice Ter Beek(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3769
無庫存
34.
Software Engineering and Formal Methods: 23rd International Conference, Sefm 2025, Toledo, Spain, November 10-14, 2025, Proceedings
出版日：
2025/12/10
作者：
Domenico Bianculli(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
35.
Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul Agha to Celebrate His Scientific Career
出版日：
2025/10/15
作者：
Jose Meseguer(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
36.
NASA Formal Methods: 17th International Symposium, Nfm 2025, Hampton Roads, Va, Usa, June 11-13, 2025, Proceedings
出版日：
2025/06/28
作者：
Aaron Dutle(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
37.
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
出版日：
2024/11/29
作者：
Sidney C. Nogueira(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3769
無庫存
38.
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
出版日：
2024/11/26
作者：
Alexandre Madeira(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
39.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
出版日：
2024/10/27
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
40.
NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings
出版日：
2024/07/03
作者：
Nathaniel Benz(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
共
1895
筆
第
48
頁
1
2
3
4
5
6
7
8
9
48
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
