| 书目名称 | Temporal Logic and State Systems | | 编辑 | Fred Kröger,Stephan Merz | | 视频video | | | 概述 | Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory..Includes supplementary material: | | 丛书名称 | Texts in Theoretical Computer Science. An EATCS Series | | 图书封面 |  | | 描述 | .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.. | | 出版日期 | Textbook 2008 | | 关键词 | Branching-time temporal logic, CTL, CTL*; Concurr; Concurrent programming; Correct software development | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-68635-4 | | isbn_softcover | 978-3-642-08680-9 | | isbn_ebook | 978-3-540-68635-4Series ISSN 1862-4499 Series E-ISSN 1862-4502 | | issn_series | 1862-4499 | | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|
发表于 2025-3-21 17:45:57
