Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | Alessandro Cimatti, Marjan Sirjani |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 15, 2017 |
| Páginas | 429 |
| Formato | paperback |
| ISBN-13 | 9783319661964 |
| ISBN-10 | 3319661965 |
| Número de Cutter | C573s |