1 द्वारा ईबुक 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
अंग्रेज़ी
€192.59
