Zoeken

U zocht naar: Auteur Pol, Jaco Filter Auteur: Pol, Jaco weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Model Checking Software
thumbnail
Full text!
Auteur:
Pol, Jaco; Kanade, Takeo; Weber, Michael; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Integrated Formal Methods
thumbnail
Full text!
Auteur:
Kanade, Takeo; Pol, Jaco van de; Romijn, Judi; Smith, Graeme; Smith, Graeme P.; van de Pol, Jaco C.
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
3. Formal Methods: Applications and Technology
thumbnail
Full text!
Auteur:
Brim, Luboš; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book