.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Temporal Logic and State Systems
Kroger, Fred; Merz, Stefan
€ 102.70
FREE Delivery in Ireland
Description for Temporal Logic and State Systems
Hardback. Offers a 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. This book is suitable for lecturers, graduate students and researchers. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 436 pages, 34 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 25. Weight in Grams: 807.
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.
Product Details
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
436
Condition
New
Series
Texts in Theoretical Computer Science: An EATCS Series
Number of Pages
436
Place of Publication
Berlin, Germany
ISBN
9783540674016
SKU
V9783540674016
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Temporal Logic and State Systems
From the reviews: "In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. … The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and ... Read more