Temporal Logics in Computer Science Finite State Systems

By: Demri, StephaneContributor(s): Goranko, Valentin | Lange, MartinMaterial type: TextTextSeries: Cambridge Tracts in Theoretical Computer Science ; 00058Publication details: New York Cambridge University Press 2016Description: 744p. VIIIISBN: 9781107028364Subject(s): Computer Science | Temporal Logic | Computer Science
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)


There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha