Reaktive Systeme: Modellierung, Spezifikation und Verifizierung von Luca Aceto (Englisch
153,25 €
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:
