Image for Formal Methods for Web Services

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Bernardo, Marco(Edited by)Padovani, Luca(Edited by)Zavattaro, Gianluigi(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

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.

Read More
Special order line: only available to educational & business accounts. Sign In
£24.99
Product Details
Springer
3642019196 / 9783642019197
Paperback
29/08/2009
156 x 234 mm, 1090 grams