Formal Methods for Web Services
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسندگان : Gianluigi Zavattaro, Luca Padovani, Marco Bernardo
- چاپ و سال / کشور: 2009
- تعداد صفحه : 341
- شابک / ISBN : 364201917X
Description
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.
