von Klaus Schneider
Taschenbuch
EAN=ISBN-13: 978-3-642-05555-3
ISBN-10: 3-642-05555-9
Springer Berlin Heidelberg · 2010
|
|
von Klaus SchneiderTaschenbuch
EAN=ISBN-13: 978-3-642-05555-3 ISBN-10: 3-642-05555-9 Springer Berlin Heidelberg · 2010 |
| Siehe auch: | ||
| 2003 | Gebundene Ausgabe | Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) |