Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Bücher - Springer International Publishing AG - 9783031230103 - 27. Februar 2024
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control 2023 edition

Preis
€ 174,49

Bestellware

Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Auch vorhanden als:

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking.

235 pages, 15 Illustrations, color; 88 Illustrations, black and white; XV, 235 p. 103 illus., 15 ill

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 27. Februar 2024
ISBN13 9783031230103
Verlag Springer International Publishing AG
Seitenanzahl 235
Maße 150 × 220 × 10 mm   ·   434 g
Sprache Deutsch  

Alle Titel von Muhammad Atif ansehen ( u. a. Gebundenes Buch und Taschenbuch )