NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Edición de la obra NASA Formal Methods
| Autor | Clark Barrett, Misty Davies, Temesghen Kahsai |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 09, 2017 |
| Páginas | 447 |
| Formato | paperback |
| ISBN-13 | 9783319572871 |
| ISBN-10 | 3319572873 |
| Número de Cutter | B274n |