Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Lecture Notes in Computer Science, Band 7843)
von:
Maurice H. ter Beek
· Niels Lohmann
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-38229-1
ISBN-10: 3-642-38229-0
Springer
· 2013