did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783642019173

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

by ; ;
  • ISBN13:

    9783642019173

  • ISBN10:

    364201917X

  • Format: Paperback
  • Copyright: 2009-06-01
  • Publisher: Springer-Verlag New York Inc
  • Purchase Benefits
List Price: $69.95

Summary

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.

Table of Contents

Calculi for Service-Oriented Computingp. 1
Service Interaction: Patterns, Formalization, and Analysisp. 42
Synthesis and Composition of Web Servicesp. 89
Fundamentals of Session Typesp. 158
Asynchronous Session Types: Exceptions and Multiparty Interactionsp. 187
Contract-Based Discovery and Adaptation of Web Servicesp. 213
Contract-Based Discovery and Composition of Web Servicesp. 261
Quantitative Analysis of Web Services Using SRMCp. 296
Author Indexp. 341
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program