Catalog > Social Sciences > Economy > Marco Carbone & Jean-Marc Petit: Web Services and Formal Methods (PDF)

Marco Carbone & Jean-Marc Petit
Web Services and Formal Methods [PDF ebook]
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Support

Cover of Marco Carbone & Jean-Marc Petit: Web Services and Formal Methods (PDF)

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

€57.85

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642298349 ● Editor Marco Carbone & Jean-Marc Petit ● Publisher Springer Berlin Heidelberg ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 6322852 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Marco Carbone Jean-Marc Petit

254,773 Ebooks in this category

Cover of Erik Ostergaard: Anticipatory Leadership

Erik Ostergaard: Anticipatory Leadership

Leadership and future-of-work expert Erik Korsvik Ostergaard’s new book explores Futures Thinking and Strategic Foresight. It shows how these important processes can be used inside of organizations t …

Cover of Chris Hatfield: Sales Psyche

Chris Hatfield: Sales Psyche

In the relentless world of sales, where targets loom large and rejection can be a constant companion, the toll on your mind is often underestimated. This book is a transformative resource in the chal …

Cover of Sangeeta Waldron: What Will Your Legacy Be?

Sangeeta Waldron: What Will Your Legacy Be?

This inspiring book contains a series of "in conversations" with important personalities, change-makers, thought leaders and global influencers about the central theme of the climate crisis …

Cover of Kurt A Richardson: Managing Organizational Complexity

Kurt A Richardson: Managing Organizational Complexity

Cover of Alan S. Gutterman: Managing Sustainability

Alan S. Gutterman: Managing Sustainability

Managing Sustainability is a comprehensive guide to governing, leading, and managing a successful sustainability-focused business. Being a socially and environmentally responsible business is a …

Cover of Wallace Garneau: The Way Forward

Wallace Garneau: The Way Forward

This book helps business leaders see how employees, companies, and missions all interact with each other, as well as with society at large, in systems and subsystems at various levels. It helps …

Cover of Kimberly Messer: Falling for Work: A Story of Death and Determination

Kimberly Messer: Falling for Work: A Story of Death and Determination

When Dan loses his best friend to an occupational accident, he questions everything. Did the company do enough to protect him? Are the rest of us protected from this happening again? Dan’s questions …

Cover of G. Shawn Hunter: Small Acts of Leadership

G. Shawn Hunter: Small Acts of Leadership

In business today, there is no offline and there is no downtime. Professionals are both exhausted and depleted. Being constantly tethered to our work through technology makes us overwhelmed and short …

Cover of Ruhul A. Salim: Capacity Realization and Productivity Growth in a Developing Country

Ruhul A. Salim: Capacity Realization and Productivity Growth in a Developing Country

First published in 1999. Firms in manufacturing industries are influenced by the market-oriented liberalization reform policies in many developing countries since the late eighties. However, studies …