Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Edición de la obra Numerical Software Verification
| Autor | Alessandro Abate, Sylvie Boldo |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 16, 2017 |
| Páginas | 115 |
| Formato | paperback |
| ISBN-13 | 9783319635002 |
| ISBN-10 | 331963500X |
| Número de Cutter | A119n |