Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458)
Ein tiefer Einblick in verteilte Systeme: mCRL2 als Werkzeug zur Modellierung und Analyse komplexer Entscheidungsprozesse, mit praxisnahen Beispielen aus der Systemtheorie und Kontrollmechanismen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458)
Medimops DE
28-04-2026 18:08:28
Gesponsert
SpringerLink DE
Understanding Behaviour of Distributed Systems Using mCRL2
SpringerLink DE
28-04-2026 20:44:02
Ähnliche Produkte
The Dark Side of Behaviour at Work
53.49 EUR
