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