Gå direkte til innholdet
NASA Formal Methods
Spar

NASA Formal Methods

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
Undertittel
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
ISBN
9783642203978
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.4.2011
Antall sider
534