Software Engineering and Formal Methods: 23rd International Conference, Sefm 2025, Toledo, Spain, November 10-14, 2025, Proceedings
暫譯: 軟體工程與形式方法：第23屆國際會議，SEFM 2025，西班牙托萊多，2025年11月10日至14日，會議論文集

Bianculli, Domenico, Gómez-Martínez, Elena

Software Engineering and Formal Methods: 23rd International Conference, Sefm 2025, Toledo, Spain, November 10-14, 2025, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-11-12
  • 售價: $3,450
  • 貴賓價: 9.5 折 $3,278
  • 語言: 英文
  • 頁數: 280
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032104432
  • ISBN-13: 9783032104434
  • 相關分類: 軟體工程

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10-14, 2025.

The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

商品描述(中文翻譯)

本卷為第23屆國際軟體工程與形式方法會議（SEFM 2025）的會議紀錄，會議於2025年11月10日至14日在西班牙托萊多舉行。

本書收錄的13篇完整論文和2篇短文經過仔細審查和選擇，來自39篇投稿。會議紀錄中還包括1篇邀請的短文。這些論文按主題分為以下幾個部分：安全性與韌性；形式規範與驗證；軟體品質；以及人工智慧與形式方法。

類似商品