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