1 E-böcker av Muhammad Atif
Muhammad Atif & Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset m CRL2 provides a language to specify the behaviour of distributed systems, i …
PDF
Engelska
€192.59
