von Fred Kröger
Taschenbuch
ISBN: 978-3-642-08680-9
ISBN-10: 3-642-08680-2
Springer · 2010
|
|
von Fred KrögerTaschenbuch
ISBN: 978-3-642-08680-9 ISBN-10: 3-642-08680-2 Springer · 2010 |
| Siehe auch: | ||
| 2008 | Gebundene Ausgabe | Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) |