Temporal Logics in Computer Science

Finite-State Systems

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Programming, Programming Languages, General Computing
Cover of the book Temporal Logics in Computer Science by Stéphane Demri, Valentin Goranko, Martin Lange, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Stéphane Demri, Valentin Goranko, Martin Lange ISBN: 9781316727164
Publisher: Cambridge University Press Publication: October 13, 2016
Imprint: Cambridge University Press Language: English
Author: Stéphane Demri, Valentin Goranko, Martin Lange
ISBN: 9781316727164
Publisher: Cambridge University Press
Publication: October 13, 2016
Imprint: Cambridge University Press
Language: English

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

More books from Cambridge University Press

Cover of the book Hematological Complications in Obstetrics, Pregnancy, and Gynecology by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Sophocles' Antigone by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Berkeley: Philosophical Writings by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Questions for the Final FFICM Structured Oral Examination by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book The CDU and the Politics of Gender in Germany by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book The Cambridge Companion to Nineteenth-Century Thought by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Mixed Methods Social Networks Research by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book The Pragmatic Enlightenment by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Character, Narrator, and Simile in the Iliad by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book German Colonialism by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book The Regulation of the Global Water Services Market by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book The Law and Economics of Framework Agreements by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Islam and the Culture of Modern Egypt by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Ecology of Fishes on Coral Reefs by Stéphane Demri, Valentin Goranko, Martin Lange
Cover of the book Montaigne and the Life of Freedom by Stéphane Demri, Valentin Goranko, Martin Lange
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy