Klaus Havelund | Akateeminen Kirjakauppa

Havelund, Klaus; Penix, John; Visser, Willem
Springer
2000
Pehmeäkantinen kirja

Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens
Springer
2008
Pehmeäkantinen kirja

Havelund, Klaus; Núnez, Manuel; Rosu, Grigore; Wolff, Burkhart
Springer
2006
Pehmeäkantinen kirja

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

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

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer
2010
Pehmeäkantinen kirja

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

Abraham, Erika; Havelund, Klaus
Springer
2014
Pehmeäkantinen kirja

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