You are here

Home » » Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems

Stéphane Demri, Valentin Goranko, and Martin Lange
Publisher: 
Cambridge University Press
Publication Date: 
2017
Number of Pages: 
744
Format: 
Hardcover
Series: 
Cambridge Tracts in Theoretical Computer Science
Price: 
120.00
ISBN: 
9781107028364
Category: 
Monograph
We do not plan to review this book.
Tags: 
Logic
Theory of Computation