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ț: 323.75 lei 404.68 lei 6-8 săpt. -20%