CURRENTLY SOLD OUT

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers by Bertrand Meyer, Yuri Gurevich (Paperback, 2007)