Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science - Catherine Dubois - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642029486 - June 24, 2009
In case cover and title do not match, the title is correct

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Catherine Dubois

Price
A$ 96.49

Ordered from remote warehouse

Expected delivery Oct 17 - 31
Add to your iMusic wish list

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

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

Show all

More by Catherine Dubois