Stock image for illustration purposes only - book cover, edition or condition may vary.
Web Services and Formal Methods
. Ed(S): Bravetti, Mario; Bultan, Tevfik
€ 63.30
FREE Delivery in Ireland
Description for Web Services and Formal Methods
Paperback. Constitutes the post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, that was held in Hoboken, NJ, USA, in September 2010. This book includes 11 full papers together with one invited paper that feature topics such as web services; service oriented computing; cloud computing; and, more. Editor(s): Bravetti, Mario; Bultan, Tevfik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 58 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 11. Weight in Grams: 318.
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.
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.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
199
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
191
Place of Publication
Berlin, Germany
ISBN
9783642195884
SKU
V9783642195884
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Web Services and Formal Methods