Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by Catherine Dubois (Editor)

• New

  Paperback
  2009

  $73.32

  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.