Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	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 Series: Lecture notes in computer science ; 5156. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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- Series: Lecture notes in computer science ; 1885. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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) Series: Lecture notes in computer science ; 8413. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014 Other title: TACAS 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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.] Series: Lecture notes in computer science ; 9058. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: NFM 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	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) Series: Lecture notes in computer science ; 10951. \| Lecture notes in computer science. Formal methods. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: FM 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday / Ezio Bartocci, Yliès Falcone, Martin Leucker (eds.). by Havelund, Klaus, 1955- [honouree.] Bartocci, Ezio (Computer scientist) [editor] Falcone, Yliès [editor.] Leucker, Martin [editor.] ISoLA (Symposium) (10th : 2021 : Rhodes, Greece) Series: Lecture notes in computer science ; 13065. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings / Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.). by NFM (Conference) (14th : 2022 : Pasadena, Calif.) Deshmukh, Jyotirmoy [editor.] Havelund, Klaus, 1955- [editor.] Perez, Ivan (Research scientist) [editor.] Series: Lecture notes in computer science ; 13260. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2022]Copyright date: ©2022 Other title: NFM 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha