NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings Lecture Notes in Computer Science, nr. 13260 Editat de Jyotirmoy V. Deshmukh et al. 20 mai 2022 Paperback Preț: 826.52 lei 1033.15 lei 6-8 săpt. -20%