Klaus Havelund | Booky.fi

Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

SPIN Model Checking and Software Verification - 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000

Havelund, Klaus; Penix, John; Visser, Willem
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2000
Pehmeäkantinen kirja

51,10 €

Formal Approaches to Software Testing and Runtime Verification - First Combined International Workshops FATES 2006 and RV 2006,

Havelund, Klaus; Núnez, Manuel; Rosu, Grigore; Wolff, Burkhart
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, J

Havelund, Klaus; Peleska, Jan; Roscoe, Bill; de Vink, Erik
Springer International Publishing AG
2018
Pehmeäkantinen kirja

91,00 €

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of t

Abraham, Erika; Havelund, Klaus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Deshmukh, Jyotirmoy V.; Havelund, Klaus; Perez, Ivan
Springer International Publishing AG
2022
Pehmeäkantinen kirja

130,80 €

NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings

Deshmukh, Jyotirmoy; Havelund, Klaus; Pinto, Alessandro
Springer Nature Switzerland AG
2026
Pehmeäkantinen kirja

75,10 €