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