A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

Incremental

von R. Kurki-Suonio

Taschenbuch

ISBN: 978-3-642-06237-7

ISBN-10: 3-642-06237-7

Springer · 2010
S. auch:
2005Gebundene AusgabeA Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)