Verification, Model Checking, and Abstract Interpretation Editat de Byron Cook et al. 3 ian 2007 Paperback Preț: 327.92 lei 409.89 lei 43-57 zile -20%
