Temporal Logics in Computer Science

Available
0
StarStarStarStarStar
0Reviews
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 compl...
Read more
E-book
pdf
Price
111.00 £
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 compl...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781316728567
  • Publication Date: 13 Oct 2016
  • Publisher: Cambridge University Press
  • Product language: English
  • Drm Setting: DRM