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

Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings
  • 出版商: 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篇投稿。這些論文按照主題分為以下幾個部分：過程代數與時間；形式驗證；測試；可用性與合約；正式方法與人工智慧；以及教學與基礎。

類似商品