Recomienda este artículo a tus amigos:
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science Catherine Dubois 2009 edition
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science
Catherine Dubois
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009.
179 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 24 de junio de 2009 |
| ISBN13 | 9783642029486 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 169 |
| Dimensiones | 155 × 235 × 10 mm · 276 g |
| Lengua | Francés |
| Editor | Dubois, Catherine |
Mas por Catherine Dubois
Mostrar todoMere med samme udgiver
Ver todo de Catherine Dubois ( Ej. Paperback Book )