A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behavior
68,59 €
This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming.
Jetzt bei Ebay:
