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ț: 330.07 lei 412.59 lei 6-8 săpt. -20%
