Jarir Logo

Web Services and Formal Methods : 7th International Workshop

WS-FM 2010HobokenNJUSASeptember 16-172010. Revised Selected Papers

Printed Book
SR 389
Inclusive of VAT
Sold as: EACH
SR23Per Month/24 months
Author:Bravetti, Mario
Date of Publication: 2011
Book classification:Computer & Technology,English Books,
No. of pages:200 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR389
Incl. VAT
Or

About this Product

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.
Show more

Specifications

SKU9783642195884
Manufacturer Number9783642195884
year published2011
Show more

Report an issue with this product.

Customer Reviews