Zoeken

U zocht naar: Auteur Katoen, Joost-Pieter Filter Auteur: Katoen, Joost-Pieter weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. CONCUR 2011 – Concurrency Theory
thumbnail
Full text!
Auteur:
Katoen, Joost-Pieter; König, Barbara
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
2. Dependable Software Engineering. Theories, Tools, and Applications
thumbnail
Full text!
Auteur:
Guan; Katoen, Joost-Pieter; Sun, Jun
Uitgever:
Springer International Publishing 2019
Type:
e-book
3. Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
thumbnail
Full text!
Auteur:
Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
4. Model-Based Testing of Reactive Systems
thumbnail
Full text!
Auteur:
Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book