
NASA Formal Methods
- Undertittel
- Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
- Redaktør
- Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
- ISBN
- 9783642203978
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.4.2011
- Antall sider
- 534
