Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ...
Edición de la obra Verified Software. Theories, Tools, and Experiments
| Autor | Andrei Paskevich, Thomas Wies |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Dec 15, 2017 |
| Páginas | 224 |
| Formato | paperback |
| ISBN-13 | 9783319723075 |
| ISBN-10 | 3319723073 |
| Número de Cutter | P282v |