Verification, Model Checking, and Abstract Interpretation Editat de Francesco Logozzo et al. 26 feb 2008 Paperback Preț: 337.17 lei 421.47 lei 6-8 săpt. -20%