Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings
暫譯: 形式方法：基礎與應用：第28屆巴西研討會，SBMF 2025，巴西累西腓，2025年12月3-5日，會議論文集
Ter Beek, Maurice H., Teixeira, Leopoldo
- 出版商: Springer
- 出版日期: 2025-11-27
- 售價: $2,810
- 貴賓價: 9.5 折 $2,670
- 語言: 英文
- 頁數: 243
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032120853
- ISBN-13: 9783032120854
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3-5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
商品描述(中文翻譯)
本書為第28屆巴西正式方法研討會（SBMF 2025）的經過審核的會議論文集，該會議於2025年12月3日至5日在巴西累西腓舉行。
本書收錄的12篇完整論文和1篇短文均經過仔細審核和選擇，來自24篇投稿。這些論文按照主題分為以下幾個部分：過程代數與時間；形式驗證；測試；可用性與合約；正式方法與人工智慧；以及教學與基礎。
