Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science, nr. 10145 Editat de Ahmed Bouajjani et al. 12 ian 2017 Paperback Preț: 336.49 lei 420.61 lei 43-57 zile -20%
