Zoeken

U zocht naar: Auteur Holzmann, Gerard J. Filter Auteur: Holzmann, Gerard J. weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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