Formal Methods for Web Services
-
- US$54.99
-
- US$54.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2009년
5월 22일
언어
EN
영어
길이
348
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
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년