Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science Editat de Kenneth Mcmillan et al. 22 ian 2014 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%
