Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 9-10, 2024, Proceedings
暫譯: 元件軟體的正式面向：第20屆國際會議，FACS 2024，義大利米蘭，2024年9月9-10日，會議論文集
Marmsoler, Diego, Sun, Meng
- 出版商: Springer
- 出版日期: 2024-09-08
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 147
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031712609
- ISBN-13: 9783031712609
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
商品描述(中文翻譯)
本書是2024年9月9日至10日在意大利米蘭舉行的第20屆國際組件軟體形式化方面會議（FACS 2024）的經過審核的會議論文集。本書中包含的7篇完整論文和1篇短文是從16篇提交的論文中仔細審核和選出的。這些論文按主題分為以下幾個部分：驗證與測試、形式模型，以及安全性與區塊鏈。
