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
192,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
zurück