NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings Lecture Notes in Computer Science, nr. 7226 Editat de Alwyn Goodloe et al. 27 mar 2012 Paperback Preț: 334.60 lei 418.26 lei 6-8 săpt. -20%
