bib.howest.be Zoekresultaten

U zocht naar: Auteur Groote, Jan Friso

1 - 6 van 6

1. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Auteur:: Groote, Jan Friso.; Huisman, Marieke
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

2. Tales of Electrologica : Computers, Software and People

Auteur:: Alberts, Gerard.; Groote, Jan Friso
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

3. Understanding Behaviour of Distributed Systems Using MCRL2

Auteur:: Atif, Muhammad.; Groote, Jan Friso
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

4. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Groote, Jan Friso; Larsen, Kim Guldstrand
Uitgever:: Springer International Publishing 2021
Type:: e-book

5. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Groote, Jan Friso; Larsen, Kim Guldstrand
Uitgever:: Springer International Publishing 2021
Type:: e-book

6. Logic Gates, Circuits, Processors, Compilers and Computers

Auteur:: Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
Uitgever:: Springer International Publishing 2021
Type:: e-book