Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Published on 31. March 2011
Book
Paperback/Softback
VIII, 191 pages
978-3-642-19588-4 (ISBN)
Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
More details
Series
Edition
2011 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
58 s/w Abbildungen, 10 farbige Abbildungen
VIII, 191 p. 68 illus., 10 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
312 gr
ISBN-13
978-3-642-19588-4 (9783642195884)
DOI
10.1007/978-3-642-19589-1
Schweitzer Classification
Other editions
Additional editions
Mario Bravetti | Tevfik Bultan
Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
E-Book
03/2011
Springer
€53.49
Available for download