Your search returned 5 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 .
3.
Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / Erika Ábrahám, Klaus Havelund (eds.).

by TACAS (Conference) (20th : 2014 : Grenoble, France) | Ábrahám, Erika [editor.] | Havelund, Klaus, 1955- [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014Other title: TACAS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.).

by NFM (Symposium) (7th : 2015 : Pasadena, Calif.) | Havelund, Klaus, 1955- [editor.] | Holzmann, Gerard J [editor.] | Joshi, Rajeev [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: NFM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (eds.).

by International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England) | Havelund, Klaus, 1955- [editor.] | Peleska, Jan [editor.] | Roscoe, A. W [editor.] | Vink, Erik de [editor.] | Federated Logic Conference (2018 : Oxford, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: FM 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha