Sign in
Join Literal
Temporal Logics in Computer Science
Valentin Goranko
Want to read
Sign up to use
Valentin Goranko
Temporal Logics in Computer Science
Valentin Goranko,
Martin Lange,
Stéphane Demri
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
Discover more books like Temporal Logics in Computer Science