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
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.
Keywords
ComputersSoftware Development & EngineeringComputer EngineeringProgrammingProgramming LanguagesInformation TechnologyComputer ScienceSystem AdministrationStorage & Retrieval
2009Book
Author(s)International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)
PublisherSpringer Science & Business Media
ISBN9783642019173
LanguageEnglish
