NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Lecture Notes in Computer Science, nr. 10227 Editat de Clark Barrett et al. 9 apr 2017 Paperback Preț: 334.29 lei 417.86 lei 6-8 săpt. -20%
