ENGLISH

Temporal Logics in Computer Science. Finite-State Systems

By Valentin Goranko , Stéphane Demri , Martin Lange

Book information

Publisher
Cambridge University Press
Year
2016
ISBN
978-1-107-02836-4
Language
english
Format
PDF
Filesize
8 MB (8727207 bytes)
Pages
744\744
Time added
2017-05-08 18:01:26

Similar books