Tests and Proofs
8th International Conference, TAP 2014, Held As Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Edición de la obra Tests and Proofs
| Autor | Martina Seidl, Nikolai Tillmann |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 214 |
| ISBN-13 | 9783319090993 |
| Número de Cutter | S458t |