Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 24. jūnijs |
| ISBN13 | 9783642029486 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 169 |
| Izmēri | 155 × 235 × 10 mm · 276 g |
| Valoda | Franču |
| Redaktors | Dubois, Catherine |