Tell your friends about this item:
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Catherine Dubois
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 24, 2009 |
ISBN13 | 9783642029486 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 169 |
Dimensions | 155 × 235 × 10 mm · 276 g |
Language | French |
Editor | Dubois, Catherine |