Software Verification Lecture Notes in Computer Science, nr. 13124 Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 358.90 lei 448.62 lei 43-57 zile -20%