Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli
123,92 €
By Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba. Preface; Part I. A Classic Theory of Reactive Systems: 1. Introduction; 2. The language CCS; 3. Behavioural equivalences; 4. Theory of fixed points and bisimulation equivalence; 5.
Jetzt bei Ebay:
