Search

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

Search Results

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