Numerical Software Verification Lecture Notes in Computer Science, nr. 11652 Editat de Majid Zamani et al. 3 aug 2019 Paperback Preț: 315.22 lei 394.02 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science, nr. 11990 Editat de Dirk Beyer et al. 7 feb 2020 Paperback Preț: 498.05 lei 622.55 lei 3-5 săpt. | 6-12 zile -20%