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 6-8 săpt. -20%
