Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science, Band 8164)
von:
Ernie Cohen ·
Andrey Rybalchenko
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-54107-0
ISBN-10: 3-642-54107-0
Springer
· 2014
