Verified Software: Theories, Tools, and Experiments（Paperback）
暫譯: 驗證軟體：理論、工具與實驗（平裝本）
- 出版商: Springer
- 出版日期: 2016-01-29
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 223
- 裝訂: Paperback
- ISBN: 3319296124
- ISBN-13: 9783319296128
海外代購書籍(需單獨結帳)
相關主題
商品描述
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.
The 12 revised full papers presented were carefully revised and selected from 25 submissions.
The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
商品描述(中文翻譯)
本卷為第七屆國際驗證軟體會議（International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015）經過徹底審稿的會後論文集，該會議於2015年7月在美國加州舊金山舉行。
本次會議共呈現了12篇經過仔細修訂的完整論文，這些論文是從25篇投稿中精選而來。
本會議的目標是透過理論發展、工具演進和實驗驗證的互動，推進軟體驗證科學與技術的最前沿，並進行涉及合作、理論統一、工具整合和正式化領域知識的大規模驗證工作。
