All ebooks by Jan Friso Groote in PDF and EPUB
Readzis program recommandation

All ebooks by Jan Friso Groote in PDF and EPUB


2  Book(s)
Download this eBook Understanding Behaviour of Distributed Systems Using mCRL2
Add to my wish list

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...

Publication date: 2023-02-25
Format: PDF, ePub
Publisher: Springer
Collection: Studies in Systems, Decision and Control
Add to basket
£159,99
Download this eBook Tales of Electrologica
Add to my wish list

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...

Publication date: 2023-01-04
Format: PDF, ePub
Publisher: Springer
Collection: History of Computing
Add to basket
£29,99

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved