Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science, Band 6551)
von:
Mario Bravetti
·
Tevfik Bultan
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-19588-4
ISBN-10: 3-642-19588-1
Springer
· 2011
