Cambridge Tracts In Theoretical Computer Science 58 - Temporal Logics In Computer Science

Prijsalert

★ 4.9

119,-

Historisch lage prijs!

Beste prijs van bol.com

Prijsalert

★ 4.9

119,-

Beste prijs van bol.com

Prijsalert

★ 4.9

119,-

Beste prijs van bol.com

binding

Prijsdetails

De laagste prijs voor een nieuwe Cambridge Tracts In Theoretical Computer Science 58 - Temporal Logics In Computer Science is 119,-. Dit is momenteel de goedkoopste aanbieding uit 1 winkels.

Productinformatie

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.