Zoeken

U zocht naar: Auteur Roşu, Grigore Filter Auteur: Roşu, Grigore weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Algebraic Methodology and Software Technology
thumbnail
Full text!
Auteur:
Meseguer, José; Kanade, Takeo; Roşu, Grigore; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
2. Formal Approaches to Software Testing and Runtime Verification
thumbnail
Full text!
Auteur:
Havelund, Klaus; Kanade, Takeo; Núñez, Manuel; Roşu, Grigore; Wolff, Burkhart
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
3. 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