Your search returned 2 results.

Not what you expected? Check for suggestions
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha