TOP
0
0
進階搜尋

熱搜：

冠軍之路

、

判處勇者刑

、

丹麥史

、

新年書單

、

哆啦A夢世界名人語錄

、

學霸作文 2

、

gemini

、

Julia Donaldson 套書

、

fx戰士

、

世界名著英文版

、

神啊告訴我你在想什麼

、

大寒

165反詐騙

紅利積點抵現金，消費購書更貼心
篩選商品
縮小範圍
商品類型
繁體書 (557)
外文書 (39607)
簡體書 (104)
港版書 (9)
電子書 (45)
商品狀態
可訂購 (39861)
無法訂購 (461)
有庫存 (96)
無庫存 (40226)
商品定價
$199以下 (52)
$200~$399 (367)
$400~$599 (766)
$600~$799 (1571)
$800以上 (37566)
出版日期
2026年以後 (238)
2024~2025 (3231)
2022~2023 (5029)
2020~2021 (3792)
2018~2019 (3174)
2017年以前 (24778)
裝訂方式
平裝 (16772)
精裝 (19842)
軟精 (10)
盒裝 (5)
有聲書 (113)
硬頁書 (4)
適讀年齡
嬰幼兒 (1)
學齡前 (12)
小學中年級 (1)
小學高年級 (2)
小學 (11)
國中 (1)
出版社/品牌
Cambridge Univ Pr (4979)
Springer Verlag (3612)
John Wiley & Sons Inc (2215)
Springer Nature (1843)
LEGARE STREET PR (1806)
Lightning Source Inc (1563)
Taylor & Francis (1309)
Humana Pr (1230)
Humana Pr Inc (837)
PBKTYFRL (834)
SAGE Publications UK (682)
Routledge (624)
Routledge UK (520)
World Scientific Pub Co Inc (419)
Palgrave Macmillan (418)
Springer-Verlag New York Inc (416)
CRC Press UK (362)
JOHN WILEY & SONS,LTD (358)
Academic Pr (352)
CRC Pr I Llc (314)
作者
Anonymous (79)
Not Available (NA) (41)
William Shakespeare (39)
Mehdi Rahmani-Andebili (32)
John Lok (29)
Zuckerman (25)
Akademy Chicken (20)
Janick (20)
Kursad Turksen (EDT) (20)
Kursad Turksen(EDI) (18)
Radek Silhavy(EDI) (18)
Bukky Ekine-Ogunlana (16)
James George Frazer (16)
P. Michael Conn (EDT) (15)
Smith (15)
Axionics Ltd (13)
Patrick Marshwell (13)
Tiziana Margaria(EDI) (13)
Henry Sidgwick (12)
Inc. Dorling Kindersley (COR) (12)
搜尋結果 /

Formal Methods

關鍵字：Formal Methods
共 40322 筆
第3 / 1009 頁
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
81.

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]。
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
82.

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]。
Software Engineering and Formal Methods ― Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, Uk, September 7-8, 2015. Revised Selected Papers
90 折
83.

Software Engineering and Formal Methods ― Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, Uk, September 7-8, 2015. Revised Selected Papers
出版日：2016/02/03 作者：Domenico Bianculli (EDT); Radu Calinescu (EDT); Bernhard Rumpe (EDT)  出版社：Springer Verlag  裝訂：平裝
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper
優惠價： 9 3024
無庫存
Formal Techniques for Computer Systems And Business Processed ― European Performance Engineering Workshop, EPEW 2005 And Internatoional Workshop On Web Services And Formal Methods, WS-FM 2005, Versail
84.

Formal Techniques for Computer Systems And Business Processed ― European Performance Engineering Workshop, EPEW 2005 And Internatoional Workshop On Web Services And Formal Methods, WS-FM 2005, Versail
出版日：2005/11/15 作者：Mario Bravetti (EDT); Leila Kloul (EDT); Gianluigi Zavattaro (EDT)  出版社：Springer Verlag  裝訂：平裝
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
滿額折
85.

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
無庫存
NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings
86.

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]。
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
87.

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]。
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
88.

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]。
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
89.

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]。
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications
90.

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]。
Formal Methods, Informally: How to Write Programs That Work
91.

Formal Methods, Informally: How to Write Programs That Work
出版日：2026/01/31 作者：Carroll Morgan  出版社：CAMBRIDGE  裝訂：平裝
優惠價： 1 2750
預購中
Formal Methods, Informally: How to Write Programs That Work
92.

Formal Methods, Informally: How to Write Programs That Work
出版日：2026/01/31 作者：Carroll Morgan  出版社：CAMBRIDGE  裝訂：精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Software Engineering and Formal Methods: 23rd International Conference, Sefm 2025, Toledo, Spain, November 10-14, 2025, Proceedings
94.

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]。
Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul Agha to Celebrate His Scientific Career
95.

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]。
NASA Formal Methods: 17th International Symposium, Nfm 2025, Hampton Roads, Va, Usa, June 11-13, 2025, Proceedings
96.

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]。
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
98.

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]。
NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings
99.

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]。
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre
102.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre
出版日：2022/11/25 作者：Tiziana Margaria(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings
103.

Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings
出版日：2022/11/08 作者：Holger Schlingloff(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece
104.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece
出版日：2022/10/20 作者：Tiziana Margaria(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
滿額折
105.

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
出版日：2021/09/28 作者：Ezio Bartocci(EDI)  出版社：Springer Nature  裝訂：平裝
優惠價： 1 3479
無庫存
NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings
106.

NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings
出版日：2020/10/29 作者：Ritchie Lee(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Integrated Formal Methods ― 13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings
90 折
107.

Integrated Formal Methods ― 13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings
出版日：2017/08/27 作者：Nadia Polikarpova (EDT); Steve Schneider (EDT)  出版社：Springer-Verlag New York Inc  裝訂：平裝
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short paper
優惠價： 9 3443
無庫存
Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
110.

Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
出版日：2023/12/08 作者：Carla Ferreira(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2
111.

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]。
Formal Methods for Industrial Critical Systems: 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
112.

Formal Methods for Industrial Critical Systems: 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
出版日：2023/10/20 作者：Alessandro Cimatti(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
113.

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
出版日：2023/09/10 作者：Jonathan P. Bowen(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22
114.

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22
出版日：2022/10/20 作者：Tiziana Margaria(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre
115.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre
出版日：2022/10/20 作者：Tiziana Margaria(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings
117.

Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings
出版日：2021/10/02 作者：Alberto Lluch Lafuente(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
118.

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
出版日：2021/01/23 作者：Gustavo Carvalho(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
119.

Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
出版日：2020/09/12 作者：Frank de Boer(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
120.

Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
出版日：2020/08/29 作者：Maurice H. Ter Beek(EDI)  出版社：Springer Nature  裝訂：平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
  • 共 40322筆
    第 1009 頁
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 1009

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