Items related to Temporal Logic and State Systems (Texts in Theoretical...
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Review
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 practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)
“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.” (Valentin Goranko, Studia Logica, Vol. 94, 2010)
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Temporal Logic and State Systems (Texts in Theoretical...
Stock Image
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642086809
Quantity: 10 available
Stock Image
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642086809_new
Quantity: Over 20 available
Seller Image
Temporal Logic and State Systems
Published by
Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642086802
ISBN 13: 9783642086809
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Temporal logic has developed over the last30 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. 448 pp. Englisch. Seller Inventory # 9783642086809
Quantity: 2 available
Seller Image
Temporal Logic and State Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802
ISBN 13: 9783642086809
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Temporal logic has developed over the last30 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. Seller Inventory # 9783642086809
Quantity: 1 available
Seller Image
Temporal Logic and State Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802
ISBN 13: 9783642086809
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.Thorough, uniform, state-of-the-art description of theory and application o. Seller Inventory # 5047713
Quantity: Over 20 available
Stock Image
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Book Alley, Pasadena, CA, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Minor shelf wear to the covers, otherwise clean and tight and appears to be unread. Pasadena's finest new and used bookstore since 1992. Seller Inventory # mon0000475461
Quantity: 1 available
Stock Image
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783642086809
Quantity: Over 20 available
Seller Image
Temporal Logic and State Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642086802
ISBN 13: 9783642086809
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch. Seller Inventory # 9783642086809
Quantity: 2 available
Stock Image
Temporal Logic and State Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 448. Seller Inventory # 2654506756
Quantity: 4 available
Stock Image
Temporal Logic and State Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 448 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55053019
Quantity: 4 available