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 3-5 săpt. | 7-13 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 6-8 săpt. | 7-13 zile -20%