NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings Lecture Notes in Computer Science, nr. 12673 Editat de Aaron Dutle et al. 17 mai 2021 Paperback Preț: 582.61 lei 728.27 lei 6-8 săpt. -20%
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings Lecture Notes in Computer Science, nr. 10811 Editat de Aaron Dutle et al. 11 mar 2018 Paperback Preț: 334.75 lei 418.44 lei 6-8 săpt. -20%