NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings Lecture Notes in Computer Science, nr. 7871 Editat de Guillaume Brat et al. 17 apr 2013 Paperback Preț: 337.23 lei 421.53 lei 6-8 săpt. -20%