This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
€57.57
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783642541087 ● 编辑 Ernie Cohen & Andrey Rybalchenko ● 出版者 Springer Berlin Heidelberg ● 发布时间 2014 ● 下载 3 时 ● 货币 EUR ● ID 6326459 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,592 此类电子书
