Boeken van Jan Friso Groote
Muhammad Atif
Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
€ 216,99
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
€ 46,59
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
Alberts, Gerard
Gerard Alberts
Groote, Jan Friso
Jan Friso Groote
Tales of Electrologica
€ 42,99
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 legend in Dutch computing. Meer
The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. Meer
Jan Friso Groote
Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems
€ 48,99
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Meer
Jan Friso Groote
Marieke Huisman
Formal Methods for Industrial Critical Systems
€ 84,99
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
Meer
Muhammad Atif€ 216,99
Jan Friso Groote€ 46,59
Alberts, Gerard€ 42,99
Jan Friso Groote€ 48,99
Jan Friso Groote€ 84,99