Web Services and Formal Methods
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Published on 23. April 2012
Book
Paperback/Softback
IX, 143 pages
978-3-642-29833-2 (ISBN)
Description
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011.
The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
IX, 143 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
248 gr
ISBN-13
978-3-642-29833-2 (9783642298332)
DOI
10.1007/978-3-642-29834-9
Schweitzer Classification
Other editions
Additional editions
Marco Carbone | Jean-Marc Petit
Web Services and Formal Methods
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
E-Book
04/2012
Springer
€53.49
Available for download