NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Lecture Notes in Computer Science, nr. 10227 Editat de Clark Barrett et al. 9 apr 2017 Paperback Preț: 333.14 lei 416.43 lei 43-57 zile -20%
