Demri, Stephane
Temporal Logics in Computer Science Finite State Systems - New York Cambridge University Press 2016 - 744p. VIII - Cambridge Tracts in Theoretical Computer Science 00058 .
Hardcover
9781107028364
Computer Science
Temporal Logic
681.3 / DEM
Temporal Logics in Computer Science Finite State Systems - New York Cambridge University Press 2016 - 744p. VIII - Cambridge Tracts in Theoretical Computer Science 00058 .
Hardcover
9781107028364
Computer Science
Temporal Logic
681.3 / DEM