Noch Fragen? 0800 / 33 82 637

Understanding Behaviour of Distributed Systems Using mCRL2

Produktform: Buch / Einband - fest (Hardcover)

The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-23007-3 / 978-3031230073 / 9783031230073

Verlag: Springer International Publishing

Erscheinungsdatum: 26.02.2023

Seiten: 235

Auflage: 1

Autor(en): Jan Friso Groote, Muhammad Atif

192,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück