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