Formal Methods for Web Services
Author:   Marco Bernardo ,  Luca Padovani ,  Gianluigi Zavattaro
Publisher:   Springer
ISBN:  

9783642019197


Pages:   352
Publication Date:   06 June 2009
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Formal Methods for Web Services


Overview

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.

Full Product Details

Author:   Marco Bernardo ,  Luca Padovani ,  Gianluigi Zavattaro
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.90cm , Length: 15.60cm
Weight:   0.494kg
ISBN:  

9783642019197


ISBN 10:   3642019196
Pages:   352
Publication Date:   06 June 2009
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

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now