Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science Editat de Byron Cook et al. 3 ian 2007 Paperback Preț: 326.91 lei 408.64 lei 6-8 săpt. -20%