Web Services and Formal Methods
Author:   Mario Bravetti ,  Manuel N Ez ,  Gianluigi Zavattaro
Publisher:   Springer
ISBN:  

9783540828600


Pages:   304
Publication Date:   15 September 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Web Services and Formal Methods


Overview

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.

Full Product Details

Author:   Mario Bravetti ,  Manuel N Ez ,  Gianluigi Zavattaro
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.60cm , Length: 15.60cm
Weight:   0.426kg
ISBN:  

9783540828600


ISBN 10:   3540828605
Pages:   304
Publication Date:   15 September 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGJ26

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now