Gå direkte til innholdet
Tests and Proofs
Spar

Tests and Proofs

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.
Undertittel
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Opplag
2009 ed.
ISBN
9783642029486
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
24.6.2009
Antall sider
169