Temporal Logics in Computer Science - Classical TheoryStéphane Demri
Temporal Logics in Computer Science - Classical Theory
Stéphane Demri, Valentin Goranko, Martin Lange · 2016
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2016
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 1
- Pages
- 752
- ISBN
- 9781107028364
Data source: Wikidata