Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
€84.74
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783540686354 ● 出版者 Springer Berlin Heidelberg ● 发布时间 2008 ● 下载 6 时 ● 货币 EUR ● ID 8033616 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,612 此类电子书
