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

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
  • 出版商: 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）；教學軌道；及產業日軌道

類似商品