Verified Software: Theorie, Tools, Experiments Programming and Software Engineering Editat de Ernie Cohen et al. 23 ian 2014 Paperback Preț: 324.45 lei 405.57 lei 43-57 zile -20%