ID:DA12842875
同姓同名の著者を検索
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)
Springer c2022 Lecture notes in computer science 13260 . Formal methods
所蔵館2館
Klaus Havelund ... [et al.] (eds.)
Springer c2018 Lecture notes in computer science 10951 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
所蔵館1館
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Springer c2008 Lecture notes in computer science 5156
所蔵館4館
Klaus Havelund, John Penix, Willem Visser (eds.)
Springer c2000 Lecture notes in computer science 1885
所蔵館32館