Powiedz znajomym o tym przedmiocie:
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 24 czerwca 2009 |
ISBN13 | 9783642029486 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 169 |
Wymiary | 155 × 235 × 10 mm · 276 g |
Język | French |
Redaktor | Dubois, Catherine |
Pokaż wszystko
Więcej od Catherine Dubois
Zobacz wszystko od Catherine Dubois ( np. Paperback Book )