Web Services and Formal Methods
-
- $69.99
-
- $69.99
Publisher Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
More Books Like This
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems
2011
International Symposium on Fundamentals of Software Engineering
2007
Fundamentals of Software Engineering
2010
Formal Aspects of Component Software
2016
Perspectives of System Informatics
2016