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