Automata, logics, and infinite games
Edición de la obra Automata, logics, and infinite games
| Autor | Erich Grädel, Wolfgang Thomas |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2002 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 385 |
| ISBN-10 | 3540003886 |
| OCLC | 51210587 |
| LCCN | 2002044587 |
| Serie | Lecture notes in computer science -- 2500. |
| Número de Cutter |