Noch Fragen? 0800 / 33 82 637

Understanding Behaviour of Distributed Systems Using mCRL2

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-23008-0 / 978-3031230080 / 9783031230080

Verlag: Springer International Publishing

Erscheinungsdatum: 25.02.2023

Seiten: 235

Autor(en): Jan Friso Groote, Muhammad Atif

181,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück