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. | 7-11 zile -20%
