Verification, Model Checking, and Abstract Interpretation Editat de Neil Jones et al. 18 dec 2008 Paperback Preț: 326.07 lei 407.59 lei 43-57 zile -20%
Programs as Data Objects Editat de Harald Ganzinger et al. mar 1986 Paperback Preț: 295.89 lei 369.86 lei 43-57 zile -20%