A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)
Full Title: | A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series) |
---|---|
ISBN: | 3540233423 |
ISBN13: | 9783540233428 |
List Price: | USD $89.95 |
Authors: |
Kurki-Suonio, R. |
Related ISBNs