Temporal Logics in Computer Science - Classical Theory
de Stéphane Demri, Valentin Goranko, Martin Lange
Materias
Ediciones (1)
- Temporal Logics in Computer Science - Classical Theory (2016)
Cambridge University Press · inglés · ISBN 9781107028364
de Stéphane Demri, Valentin Goranko, Martin Lange
Cambridge University Press · inglés · ISBN 9781107028364