Verification, Model Checking, and Abstract Interpretation Editat de Roberto Giacobazzi et al. 7 ian 2013 Paperback Preț: 349.32 lei 436.65 lei 43-57 zile -20%
