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 22-36 zile | 5-11 zile -20%
