von Fred Kröger
Taschenbuch
ISBN-13: 978-3-642-71551-8
ISBN-10: 3-642-71551-6
Springer-Verlag · 1987
|
|
von Fred KrögerTaschenbuch
ISBN-13: 978-3-642-71551-8 ISBN-10: 3-642-71551-6 Springer-Verlag · 1987 |
| Siehe auch: | ||
| 1987 | Gebundene Ausgabe | Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8) |