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 6-8 săpt. -20%