Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science, Band 6706)

Switzerland

von: Martin Gogolla · Burkhart Wolff

Taschenbuch

ISBN-13: 978-3-642-21767-8

ISBN-10: 3-642-21767-2

Springer · 2011