Formal Methods for Web Services Formal Methods for Web Services

Formal Methods for Web Services

Marco Bernardo und andere
    • 39,99 €
    • 39,99 €

Beschreibung des Verlags

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
Computer und Internet
ERSCHIENEN
2009
22. Mai
SPRACHE
EN
Englisch
UMFANG
348
Seiten
VERLAG
Springer Berlin Heidelberg
GRÖSSE
19,2
 MB

Mehr ähnliche Bücher

Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2020
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2010
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Transactions on Petri Nets and Other Models of Concurrency II Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency II
2009
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009

Mehr Bücher von 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
Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
2007
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010
Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
2008