Verification, Model Checking, and Abstract Interpretation Editat de Neil Jones et al. 18 dec 2008 Paperback Preț: 327.07 lei 408.84 lei 6-8 săpt. -20%
Programs as Data Objects Editat de Harald Ganzinger et al. mar 1986 Paperback Preț: 296.79 lei 371.00 lei 6-8 săpt. -20%