Understanding Behaviour of Distributed Systems Using mCRL2

Lieferzeit: Lieferbar innerhalb 14 Tagen

192,59 

Studies in Systems, Decision and Control 458

ISBN: 3031230108
ISBN 13: 9783031230103
Autor: Atif, Muhammad/Groote, Jan Friso
Verlag: Springer Verlag GmbH
Umfang: xv, 235 S., 88 s/w Illustr., 15 farbige Illustr., 235 p. 103 illus., 15 illus. in color.
Erscheinungsdatum: 27.02.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 2765471 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …