von R. Kurki-Suonio
Springer Berlin Heidelberg · 2005
Gebunden
ISBN-13: 978-3-540-23342-8
ISBN-10: 3-540-23342-3
| Siehe auch: | ||
| 2010 | Taschenbuch | A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series) |
|
|
von R. Kurki-SuonioSpringer Berlin Heidelberg · 2005 Gebunden ISBN-13: 978-3-540-23342-8 ISBN-10: 3-540-23342-3 |