Temporal Logics in Computer Science: Finite-State Systems
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
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...
Format:Hardcover
Language:English
ISBN:1107028361
ISBN13:9781107028364
Release Date:December 2016
Publisher:Cambridge University Press
Length:752 Pages
Weight:3.19 lbs.
Dimensions:1.7" x 7.0" x 10.1"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
