Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
暫譯: 驗證軟體：理論、工具與實驗，第九屆國際會議 VSTTE 2017，德國海德堡，2017年7月22-23日，修訂選擇論文（計算機科學講義）

出版商: Springer
出版日期: 2017-12-15
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 228
裝訂: Paperback
ISBN: 3319723073
ISBN-13: 9783319723075
相關分類: Computer-Science

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

商品描述

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.