Search

You searched for: Auteur Pol, Jaco Remove constraint Auteur: Pol, Jaco
1 - 3 of 3
Number of results to display per page

Search Results

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