Logics and Models of Concurrent Systems
Edición de la obra Logics and Models of Concurrent Systems
| Autor | Krzysztof R. Apt |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1985 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] / |
| ISBN-13 | 9783642824555, 9783642824531 |
| ISBN-10 | 3642824552, 3642824536 |
| OCLC | 851377229 |
| Serie | NATO ASI Series, Series F: Computer and Systems Sciences -- 13 · NATO ASI Series, Series F: Computer and Systems Sciences -- 13 |
| Número de Cutter |