NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings Lecture Notes in Computer Science, nr. 14627 Editat de Nathaniel Benz et al. 28 mai 2024 Paperback Preț: 788.66 lei 961.77 lei 43-57 zile -18%
