Verification, Model Checking, and Abstract Interpretation Editat de Francesco Logozzo et al. 26 feb 2008 Paperback Preț: 323.23 lei 404.04 lei 43-57 zile -20%