Understanding Behaviour of Distributed Systems Using mCRL2
1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023
Online
Monographie, Elektronische Ressource
- 1 Online-Ressource (XV, 235 p. 103 illus., 15 illus. in color)
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Understanding Behaviour of Distributed Systems Using mCRL2
|
---|---|
Verantwortlichkeitsangabe: | by Muhammad Atif, Jan Friso Groote |
Autor/in / Beteiligte Person: | Atif, Muhammad ; Groote, Jan Friso |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Ausgabe: | 1st ed. 2023 |
Veröffentlichung: | Cham: Springer International Publishing, Imprint: Springer, 2023 |
Medientyp: | Monographie |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XV, 235 p. 103 illus., 15 illus. in color) |
ISBN: | 9783031230080 |
DOI: | 10.1007/978-3-031-23008-0 |
Schlagwort: |
|
Sonstiges: |
|