Temporal Logics in Computer Science - Classical Theory
Edición de la obra Temporal Logics in Computer Science - Classical Theory
| Autor | Stéphane Demri, Valentin Goranko, Martin Lange |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 752 |
| ISBN-13 | 9781107028364 |
| Número de Cutter | D389t |