
NASA Formal Methods
- Alaotsikko
- Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
- Toimittaja
- Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
- ISBN
- 9783642203978
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.4.2011
- Sivumäärä
- 534