Zoeken

U zocht naar: Auteur Holzmann, Gerard Filter Auteur: Holzmann, Gerard weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. NASA Formal Methods
thumbnail
Full text!
Auteur:
Havelund; Holzmann, Gerard; Joshi, Rajeev
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. NASA Formal Methods
thumbnail
Full text!
Auteur:
Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev; Kanade, Takeo; Holzmann, Gerard
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book