Tous les ebooks de Jan Friso Groote en PDF et EPUB


2  résultat(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...

Parution : 2023-02-25
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Studies in Systems, Decision and Control
J'achète
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...

Parution : 2023-01-04
Format(s) : PDF, ePub
Éditeur : Springer
Collection : History of Computing
J'achète
36,91 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés