Siirry suoraan sisältöön
Tests and Proofs
Tallenna

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.
Alaotsikko
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Painos
2009 ed.
ISBN
9783642029486
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
24.6.2009
Sivumäärä
169