Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science, Band 6706)
von:
Martin Gogolla
·
Burkhart Wolff
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-21767-8
ISBN-10: 3-642-21767-2
Springer
· 2011