Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Edición de la obra Tests and Proofs
| Autor | Catherine Dubois |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642029493 |
| Número de Cutter | D815t |