NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings, (Paperback)
NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings, (Paperback) Author: Springer ISBN: 9783642203978 Format: Paperback Publication Date: 2011-04-06 Page Count: 534
Shipping & Returns
Shipping & Returns








