NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Band 9058)

Proceedings

von: Klaus Havelund · Gerard Holzmann · Rajeev Joshi

Taschenbuch

ISBN-13: 978-3-319-17523-2

ISBN-10: 3-319-17523-8

Springer · 2015
Siehe auch:
2011TaschenbuchNASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science, Band 6617)