Tests and Proofs
9th International Conference, TAP 2015, Held As Part of STAF 2015, l`Aquila, Italy, July 22-24, 2015. Proceedings
Edición de la obra Tests and Proofs
| Autor | Jasmin Christian Blanchette, Nikolai Kosmatov |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 209 |
| ISBN-13 | 9783319212142 |
| Número de Cutter | B641t |