Formal Methods for Industrial Critical Systems Programming and Software Engineering Editat de Manuel Núñez et al. 27 mai 2015 Paperback Preț: 317.72 lei 397.15 lei 43-57 zile -20%