NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Lecture Notes in Computer Science, nr. 11460 Editat de Julia M. Badger et al. 28 mai 2019 Paperback Preț: 434.83 lei 543.54 lei 43-57 zile -20%
