Tác giả: Muhammad Atif

Ủng hộ

1 Ebooks bởi 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
Anh
€181.89