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ț: 341.08 lei 426.35 lei 43-57 zile -20%