Verification, Model Checking, and Abstract Interpretation Editat de Barbara Jobstmann et al. 26 dec 2015 Paperback Preț: 336.07 lei 420.09 lei 43-57 zile -20%