Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Lecture Notes in Computer Science - Catherine Dubois - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642029486 - 24 czerwca 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Catherine Dubois

Cena
zł 262,90

Zamówione z odległego magazynu

Przewidywana dostawa 15 - 25 paź
Dodaj do swojej listy życzeń iMusic

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 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