Understanding Behaviour of Distributed Systems Using mCRL2 / by Muhammad Atif, Jan Friso Groote
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Studies in Systems, Decision and Control ; 458Verlag: Cham : Springer International Publishing, 2023Verlag: Cham : Imprint: Springer, 2023Auflage: 1st ed. 2023Beschreibung: 1 Online-Ressource(XV, 235 p. 103 illus., 15 illus. in color.)ISBN:- 9783031230080
- 003.3 23
Dieser Titel hat keine Exemplare