Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Edición de la obra Tests and Proofs
| Autor | Sebastian Gabmeyer, Einar Broch Johnsen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 18, 2017 |
| Páginas | 174 |
| Formato | paperback |
| ISBN-13 | 9783319614663 |
| ISBN-10 | 3319614665 |
| Número de Cutter | G115t |