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
英语
€181.89
