Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, nr. 13244 Editat de Dana Fisman et al. 30 mar 2022 Paperback Preț: 255.73 lei 319.67 lei 22-36 zile | 6-12 zile -20%
Model Checking Software Lecture Notes in Computer Science, nr. 13255 Editat de Owolabi Legunsen et al. 23 aug 2022 Paperback Preț: 617.12 lei 771.39 lei 43-57 zile | 6-12 zile -20%