Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Edición de la obra Tests and Proofs
| Autor | Catherine Dubois, Burkhart Wolff |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 03, 2018 |
| Páginas | 199 |
| Formato | paperback |
| ISBN-13 | 9783319929934 |
| ISBN-10 | 3319929933 |
| Número de Cutter | D815t |