Ebooks de Jan Friso Groote en PDF et EPUB

2 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 €
Télécharger le livre : Tales of Electrologica
Ajouter à ma liste d'envies
Tales of Electrologica
Gerard Alberts , Jan Friso Groote
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
PDF, ePub

36,91 €