Formal Methods for Web Services
-
- 54٫99 US$
-
- 54٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٠٩
٢٢ مايو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٤٨
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
١٩٫٢
م.ب.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
٢٠١٦
Formal Methods for Multicore Programming
٢٠١٥
Formal Methods for Eternal Networked Software Systems
٢٠١١
Formal Methods for Performance Evaluation
٢٠٠٧
Computer Performance Engineering
٢٠١٠
Formal Methods for Computational Systems Biology
٢٠٠٨