Verified Software. Theories, Tools and Experiments: 17th International Conference, Vstte 2025, Menlo Park, Ca, Usa, October 6, 2025, Revised Selected
暫譯: 驗證軟體：理論、工具與實驗，第17屆國際會議 VSTTE 2025，美國加州門洛帕克，2025年10月6日，修訂選集

Pit-Claudel, Clément, Kosaian, Katherine

Verified Software. Theories, Tools and Experiments: 17th International Conference, Vstte 2025, Menlo Park, Ca, Usa, October 6, 2025, Revised Selected
  • 出版商: Springer
  • 出版日期: 2026-07-02
  • 售價: $2,490
  • 貴賓價: 9.5 折 $2,365
  • 語言: 英文
  • 頁數: 101
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032273390
  • ISBN-13: 9783032273390
  • 相關分類: 軟體工程

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

相關主題

商品描述

This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.

The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.

VSTTE focusses on critical research challenges in the spectrum of software verification.

商品描述(中文翻譯)

本書為第17屆國際驗證軟體會議（VSTTE 2025）的經過審核的會議論文集，會議於2025年10月6日在美國門洛帕克舉行。此次會議論文集中的4篇完整論文和2篇短文是從15篇提交的論文中精心挑選和審核的。本書還包含了一篇邀請演講和一個邀請教程的擴展摘要。VSTTE專注於軟體驗證領域中的關鍵研究挑戰。

類似商品