This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
€57.99
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783319049151 ● 编辑 Zhenhua Duan & Shaoying Liu ● 出版者 Springer International Publishing ● 发布时间 2014 ● 下载 3 时 ● 货币 EUR ● ID 6302688 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,826 此类电子书
