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
181,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
zurück