Jan Friso Groote
- Auteur
Boeken van Jan Friso Groote
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.
Meer
Jan Friso Groote
Rolf Morel
Julien Schmaltz
Adam Watkins
Logic Gates, Circuits, Processors, Compilers and Computers
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors.
Meer
Jan Friso Groote
Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems