Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Edición de la obra Verified Software. Theories, Tools, and Experiments
| Autor | Ruzica Piskac, Philipp Rümmer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 24, 2018 |
| Páginas | 361 |
| Formato | paperback |
| ISBN-13 | 9783030035914 |
| ISBN-10 | 3030035913 |
| Número de Cutter | P677v |