This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
€57.35
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783540682370 ● 编辑 Jorge Cuellar & Tom Maibaum ● 出版者 Springer Berlin Heidelberg ● 发布时间 2008 ● 下载 6 时 ● 货币 EUR ● ID 6377037 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
3,675 此类电子书
