Artikel empfehlen

Understanding Behaviour of Distributed Systems Using mCRL2

Produktform: Buch / Einband - flex.(Paperback)

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

Studies in Systems, Decision and Control

Sprache(n): Englisch

ISBN: 978-3-031-23010-3 / 978-3031230103 / 9783031230103

Verlag: Springer International Publishing

Erscheinungsdatum: 27.02.2024

Seiten: 235

Auflage: 1

Autor(en): Jan Friso Groote, Muhammad Atif

192,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück