Search

You searched for: Auteur Groote, Jan Friso. Remove constraint Auteur: Groote, Jan Friso.
1 - 6 of 6
Number of results to display per page

Search Results

1. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
thumbnail
Full text!
Author:
Groote, Jan Friso.; Huisman, Marieke
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
2. Tales of Electrologica : Computers, Software and People
thumbnail
Full text!
Author:
Alberts, Gerard.; Groote, Jan Friso
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
3. Understanding Behaviour of Distributed Systems Using MCRL2
thumbnail
Full text!
Author:
Atif, Muhammad.; Groote, Jan Friso
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Groote, Jan Friso; Larsen, Kim Guldstrand
Publisher:
Springer International Publishing 2021
Format:
e-book
5. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Groote, Jan Friso; Larsen, Kim Guldstrand
Publisher:
Springer International Publishing 2021
Format:
e-book
6. Logic Gates, Circuits, Processors, Compilers and Computers
thumbnail
Full text!
Author:
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
Publisher:
Springer International Publishing 2021
Format:
e-book