Hardback
Add to list Added to list Temporal Logics in Computer Science: Finite-State Systems
Stephane Demri (Centre National de la Recherche Scientifique (CNRS), Paris),Valentin Goranko (Stockholms Universitet),Martin Lange (Universitat Kassel, Germany)
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers…
Available to order, ships in approx 4 weeksAvailable to order