Zoeken

U zocht naar: Auteur Katoen Filter Auteur: Katoen weghalen
1 - 5 van 5
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. ModelEd, TestEd, TrustEd
thumbnail
Full text!
Auteur:
Katoen; Langerak, Rom; Rensink, Arend
Uitgever:
Springer International Publishing 2017
Type:
e-book
3. 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
4. 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
5. 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