Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
暫譯: 形式方法：第27屆國際研討會，FM 2026，東京，日本，2026年5月18-22日，會議論文集，第一部分
Sampaio, Augusto, Stoelinga, Marielle
- 出版商: Springer
- 出版日期: 2026-05-18
- 售價: $2,440
- 貴賓價: 9.5 折 $2,318
- 語言: 英文
- 頁數: 664
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032262038
- ISBN-13: 9783032262035
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18-22, 2026.
The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:
Part I: Invited Papers; and Main Track (1)
Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track
商品描述(中文翻譯)
開放存取書籍集 LNCS 16556 + 16557 是第27屆國際形式方法研討會（FM 2026）的經過審核的會議論文集，該會議於2026年5月18日至22日在日本東京舉行。
這些會議論文集包含49篇完整論文和2篇短文，這些論文是從239篇投稿中仔細審核和選出的。會議論文集還包括4篇邀請報告、8篇教學論文和9篇來自產業日的論文。貢獻內容按主題部分組織如下：
第一部分：邀請論文；及主要軌道（1）
第二部分：主要軌道（2）；測試與證明軌道（TAP）；教學軌道；及產業日軌道
