Verification, Model Checking, and Abstract Interpretation Editat de Deepak D'Souza et al. 7 ian 2015 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%