J

Jaco van de Pol

4 books found

Books by Jaco van de Pol
Model Checking SoftwareJaco van de Pol

Model Checking Software

Jaco van de Pol

2010No page data
Formal Methods : Applications and TechnologyLubos Brim

Formal Methods : Applications and Technology

Lubos Brim

2007No page data
Integrated Formal MethodsJudi M. T. Romijn

Integrated Formal Methods

Judi M. T. Romijn

2005No page data
Integrated Formal MethodsJudi M. T. Romijn,Graeme P. Smith,Jaco C. Van De Pol

Integrated Formal Methods

Judi M. T. Romijn,Graeme P. Smith,Jaco C. Van De Pol

2008No page data