Formal Methods for Web Services
-
- €39.99
-
- €39.99
Publisher Description
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.
GENRE
Computing & Internet
RELEASED
2009
22 May
LANGUAGE
EN
English
LENGTH
348
Pages
PUBLISHER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
19.2
MB
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Formal Methods for Multicore Programming
2015
Formal Methods for Eternal Networked Software Systems
2011
Formal Methods for Performance Evaluation
2007
Computer Performance Engineering
2010
Formal Methods for Computational Systems Biology
2008