von Fred Kröger
Gebunden
ISBN: 978-3-540-17030-3
ISBN-10: 3-540-17030-8
Springer · 1987
|
|
von Fred KrögerGebunden
ISBN: 978-3-540-17030-3 ISBN-10: 3-540-17030-8 Springer · 1987 |
| Siehe auch: | ||
| 1987 | Taschenbuch | Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8) |