| 书目名称 | Temporal Logic and State Systems |
| 编辑 | Fred Kröger,Stephan Merz |
| 视频video | http://file.papertrans.cn/903/902963/902963.mp4 |
| 概述 | 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 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-11 01:52
发表于 2025-3-21 17:45:57
