Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Kröger, Fred; Merz, Stephan

ISBN 10: 3540674012 / ISBN 13: 9783540674016

Published by Springer, 2008

About this Item

This item is in overall acceptable condition. Covers and dust jackets are intact but may have heavy wear including creases, bends, edge wear, curled corners or minor tears as well as stickers or sticker-residue. Pages are intact but may have minor curls, bends or moderate to considerable highlighting writing. Binding is intact; however, spine may have heavy wear. Digital codes may not be included and have not been tested to be redeemable and or active. A well-read copy overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you!

Seller Inventory # 466WQ1000T6G

Bibliographic Details

• Title: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 3540674012
• ISBN 13: 9783540674016
• Binding: Hardcover
• Condition: acceptable

About this title

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.

About the Author

Fred Krger:Since 1971 working in Computer Science1980-1986 Professor for Computer Science at Technical University of MunichSince 1986 Professor for Computer Science at University of Munich1987 World-wide first textbook on Temporal Logic ("Temporal Logic of Programs", Springer)Stephan Merz:1992 Ph.D. in Computer Science, University of Munich1995-2002 Assistant Professor for Computer Science, University of Munichsince 2002 Senior Researcher, INRIA Lorraine, Nancy