NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings Lecture Notes in Computer Science, nr. 6617 Editat de Mihaela Bobaru et al. 6 apr 2011 Paperback Preț: 333.68 lei 417.09 lei 6-8 săpt. -20%
NASA Formal Methods Lecture Notes in Computer Science Editat de Klaus Havelund et al. 9 apr 2015 Paperback Preț: 329.95 lei 412.43 lei 6-8 săpt. -20%