This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suiteWorkflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...
Lire la suite