Total Books: 61 - 63 /63
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite
Workflows for e-Science
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
Lire la suite
