Formal Methods for Web Services Formal Methods for Web Services

Formal Methods for Web Services

Marco Bernardo y otros
    • USD 54.99
    • USD 54.99

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2009
22 de mayo
IDIOMA
EN
Inglés
EXTENSIÓN
348
Páginas
EDITORIAL
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMAÑO
19.2
MB

Más libros de Marco Bernardo, Luca Padovani & Gianluigi Zavattaro

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010