Zoeken

U zocht naar: Auteur Tillmann Filter Auteur: Tillmann weghalen
| 11 - 11 van 11 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Runtime Verification
thumbnail
Full text!
Auteur:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book