2 résultat(s)
Télécharger le livre : Understanding Behaviour of Distributed Systems Using mCRL2
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 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

Format(s) : PDF, ePub
189,89 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Tales of Electrologica
Gerard Alberts , Jan Friso Groote
Tales of Electrologica
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a...
Editeur : Springer
Parution : 2023-01-04
Collection : History of Computing
Format(s) : PDF, ePub
36,91 €
Téléchargement immédiat
Dès validation de votre commande