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ț: 407.50 lei 509.38 lei 43-57 zile -20%