
NASA Formal Methods
- Undertitel
- 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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-04-06
- Sidor
- 534
