Gerard Alberts (1954) is an historian of digital cultures and historian of mathematical thought. He graduated in mathematics and took his Ph D cum laude in History. Gerard”s key contribution to the history of mathematical thinking is pinpointing the rise of mathematical modeling in the middle of the twentieth century. In history of computing his focus has been on the history of software, and history of hacker culture. Recent work has been on webarchaeology. He his member of the editorial board of Annals of the history of computing and of Internet histories.
Gerard Alberts served the research Eurocores project “Software for Europe” (2007-2011) as its project leader. He is retired associate professor history of digital cultures at University of Amsterdam.
Gerard Alberts is the editor of the Springer series History of Computing.
Jan Friso Groote (1965) is a full professor in Formal Methods at Eindhoven University of Technology. His interest is in efficiently proving the correctness of the software in computer controlled systems. This for instance led to the book, Modeling and Analysis of Communicating Systems, The MIT Press 2014. Before commencing in Eindhoven, in 1997, he studied Computer Science at Twente University and wrote a Ph D on process algebra at CWI, Amsterdam (1991), where he later became a leader of the research group SEN2.
7 Ebook di Jan Friso Groote
Jan Friso Groote & Mohammad Reza Mousavi: Modeling and Analysis of Communicating Systems
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems Complex communicating computer systems-computers connected by data netw …
PDF
Inglese
DRM
€141.25
Jan Friso Groote & Rolf Morel: 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. I …
PDF
Inglese
DRM
€38.50
Jan Friso Groote & Kim Guldstrand Larsen: Tools and Algorithms for the Construction and Analysis of Systems
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 durin …
PDF
Inglese
DRM
€3.85
Jan Friso Groote & Kim Guldstrand Larsen: Tools and Algorithms for the Construction and Analysis of Systems
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 durin …
PDF
Inglese
DRM
€3.84
Jan Friso Groote & Marieke Huisman: Formal Methods for Industrial Critical Systems
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. The 13 …
EPUB
Inglese
DRM
€77.17
Gerard Alberts & Jan Friso Groote: Tales of Electrologica
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 …
PDF
Inglese
€37.44
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. The toolset m CRL2 provides a language to specify the behaviour of distributed systems, i …
PDF
Inglese
€181.89