Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.). by International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) Romijn, Judi Smith, Graeme, 1966- Pol, Jaco van de Series: Lecture notes in computer science ; 3771. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.). by International SPIN Workshop (17th : 2010 Enschede, Netherlands) Pol, Jaco van de Weber, Michael (Michael F.) Series: Lecture notes in computer science ; 6349. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer, ©2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search