NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings Lecture Notes in Computer Science, nr. 9690 Editat de Sanjai Rayadurgam et al. 4 iun 2016 Paperback Preț: 416.62 lei 520.78 lei 6-8 săpt. -20%