Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science, Band 7305)
von:
Achim Brucker
·
Jacques Julliand
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-30472-9
ISBN-10: 3-642-30472-9
Springer
· 2012
