Verification, Model Checking, and Abstract Interpretation Editat de Kenneth Mcmillan et al. 22 ian 2014 Paperback Preț: 333.02 lei 416.28 lei 43-57 zile -20%
