Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7176)
von:
Marco Carbone ·
Jean-Marc Petit
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-29833-2
ISBN-10: 3-642-29833-8
Springer
· 2012