Yazar
Klaus Havelund
9 cilt bulundu.
Klaus Havelund · Springer
Sayfa sayısı yok · 2011
Logic design / Computer science / Software engineering / Operating systems (Computers) / Computer software, development
Klaus Havelund · Springer
342 sayfa · 2008
Logic design / Computer science / Software engineering / Congresses / Computer software
Erika Abraham, Klaus Havelund · Springer
661 sayfa · 2014
System analysis / Congresses / Verification / System design / Computer software
Klaus Havelund, Gerard Holzmann, Rajeev Joshi · Springer International Publishing AG
465 sayfa · 2011
Computer science
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink · Springer
706 sayfa · 2018
Artificial intelligence
Klaus Havelund, Rupak Majumdar, Jens Palsberg · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok
Klaus Havelund, John Penix, Willem Visser · Springer London, Limited
Sayfa sayısı yok · 2006
Kategori yok
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · Springer London, Limited
Sayfa sayısı yok · 2006
Computer software