Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Lecture Notes in Computer Science, nr. 9128 Editat de Manuel Núñez et al. 27 mai 2015 Paperback Preț: 329.26 lei 411.57 lei 6-8 săpt. -20%