Static Analysis Editat de Giorgio Levi 2 sep 1998 Paperback Preț: 327.48 lei 409.36 lei 43-57 zile -20%
Verification, Model Checking, and Abstract Interpretation Editat de Bernhard Steffen et al. 7 ian 2004 Paperback Preț: 324.41 lei 405.51 lei 43-57 zile -20%