von Klaus Schneider
Gebunden
ISBN: 978-3-540-00296-3
ISBN-10: 3-540-00296-0
Springer · 2003
|
|
von Klaus SchneiderGebunden
ISBN: 978-3-540-00296-3 ISBN-10: 3-540-00296-0 Springer · 2003 |
| Siehe auch: | ||
| 2010 | Taschenbuch | Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) |