Verified Software : Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ...
Edición de la obra Verified Software : Theories, Tools, and Experiments
| Autor | Arie Gurfinkel, Sanjit A. Seshia |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 29, 2016 |
| Páginas | 232 |
| Formato | paperback |
| ISBN-13 | 9783319296128 |
| ISBN-10 | 3319296124 |
| Número de Cutter | G979v |