Groote, Jan Friso books & textbook
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso Morel, Rolf Schmaltz, Julien Watkins, Adam
Springer /2021-08-19 Paperback / 268 Pages
isbn-10: 3030685527 / isbn-13: 9783030685522
Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)
Groote, Jan Friso Larsen, Kim Guldstrand
Springer /2021-03-20 Paperback / 496 Pages
isbn-10: 3030720152 / isbn-13: 9783030720155
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science)
Groote, Jan Friso Huisman, Marieke
Springer /2022-08-12 Paperback / 256 Pages
isbn-10: 3031150074 / isbn-13: 9783031150074
Tales of Electrologica: Computers, Software and People (History of Computing)
Alberts, Gerard Groote, Jan Friso
Springer /2023-01-05 Hardcover / 211 Pages
isbn-10: 3031130324 / isbn-13: 9783031130328
Modeling and Analysis of Communicating Systems
Groote, Jan Friso Mousavi, Mohammad Reza
The MIT Press /2014-08-29 Hardcover / 392 Pages
isbn-10: 0262027712 / isbn-13: 9780262027717
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
Atif, Muhammad Groote, Jan Friso
Springer /2024-02-27 Paperback / 250 Pages
isbn-10: 3031230108 / isbn-13: 9783031230103
