Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

by International SPIN Workshop (13th : 2006 : Vienna, Austria) | Valmari, Antti.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: 13th International SPIN Workshop | Thirteenth International SPIN Workshop | International SPIN Workshop | European Joint Conferences on Theory and Practice of Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha