Ebooks de Muhammad Atif en PDF et EPUB

1 Livre(s)
Télécharger le livre : Understanding Behaviour of Distributed Systems Using mCRL2
Ajouter à ma liste d'envies
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif , Jan Friso Groote
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process...

Editeur : Springer
Parution : 2023-02-25
Collection : Studies in Systems, Decision and Control
PDF, ePub

189,89 €