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

von Catherine Dubois Taschenbuch Details (Deutschland) Details (United States) ISBN-13: 978-3-642-02948-6 ISBN-10: 3-642-02948-5 Springer · 2009