Zoeken

U zocht naar: Auteur Groote, Jan Friso Filter Auteur: Groote, Jan Friso weghalen Type e-book Filter Type: e-book weghalen
1 - 6 van 6
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
thumbnail
Full text!
Auteur:
Groote, Jan Friso.; Huisman, Marieke
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Tales of Electrologica : Computers, Software and People
thumbnail
Full text!
Auteur:
Alberts, Gerard.; Groote, Jan Friso
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
3. Understanding Behaviour of Distributed Systems Using MCRL2
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
Auteur:
Groote, Jan Friso; Larsen, Kim Guldstrand
Uitgever:
Springer International Publishing 2021
Type:
e-book
6. Logic Gates, Circuits, Processors, Compilers and Computers
thumbnail
Full text!
Auteur:
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
Uitgever:
Springer International Publishing 2021
Type:
e-book