
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Edición de la obra Tests and Proofs
| Autor | Wolfgang Ahrendt, Heike Wehrheim |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 20, 2020 |
| Páginas | 194 |
| Formato | paperback |
| ISBN-13 | 9783030509941 |
| ISBN-10 | 303050994X |
| Número de Cutter | A287t |