NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Lecture Notes in Computer Science, nr. 12229 Editat de Ritchie Lee et al. 9 aug 2020 Paperback Preț: 473.36 lei 591.71 lei 6-8 săpt. -20%