Temporal Logics in Computer Science
Finite-State Systems
Edición de la obra Temporal Logics in Computer Science
| Autor | Stéphane Demri, Valentin Goranko, Martin Lange |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| ISBN-13 | 9781316728567 |
| Número de Cutter | D389t |