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 London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 209 |
| ISBN-13 | 9783319212159 |
| Número de Cutter | B641t |