NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Edición de la obra NASA Formal Methods
| Autor | Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9783642203985 |
| Número de Cutter | B663n |