Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Model checking software : 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).

by International SPIN Workshop (15th : 2008 : Los Angeles, Calif.) | Havelund, Klaus, 1955- | Majumdar, Rupak | Palsberg, Jens.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).

by International SPIN Workshop (7th : 2000 : Stanford, Calif.) | Havelund, Klaus, 1955- | Penix, John, 1970- | Visser, Willem, 1968-.

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

Powered by Koha