Catalog > Social Sciences > Economy > Maurice H. ter Beek & Niels Lohmann: Web Services and Formal Methods (PDF)

Maurice H. ter Beek & Niels Lohmann
Web Services and Formal Methods [PDF ebook]
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Support

Cover of Maurice H. ter Beek & Niels Lohmann: Web Services and Formal Methods (PDF)

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.

€51.34

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642382307 ● Editor Maurice H. ter Beek & Niels Lohmann ● Publisher Springer Berlin Heidelberg ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 6323612 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Maurice H. ter Beek Niels Lohmann

254,379 Ebooks in this category

Cover of David P. Levine: Normative Political Economy

David P. Levine: Normative Political Economy

Normative Political Economy explores the criteria we use for judging economic institutions and economic policy. It argues that prevailing criteria lack sufficient depth in their understanding of subj …

Cover of Sean Ryan: Get in Gear

Sean Ryan: Get in Gear

Get in Gear: The Seven Gears that Drive Strategy to Results (978-0-367-47149-1, 335422) Shelving Guide: Business and Management/Leadership/Strategy Only 10% to 25% of organizations get it right when …

Cover of James Woodcock: Ego Flip

James Woodcock: Ego Flip

To know who you are is the perennial question of leadership. A leader will never understand the world and their role within it, until they understand where they are looking from. Such a leader will i …

Cover of Michael Stanford: Leadership Transition

Michael Stanford: Leadership Transition

Organizations are becoming more fluid and chaotic than ever before. Many leaders face deeply destabilizing experiences at a younger age than in the past. Popular writing on leadership transitions ass …

Cover of Peter D Harms: Dark and Destructive Leadership

Peter D Harms: Dark and Destructive Leadership

Destructive leadership has become an umbrella term for a range of toxic leader behaviors, intentional or unintentional, which are associated with negative outcomes for followers and/or organizations …

Cover of P. Hare: Central Planning

P. Hare: Central Planning

Examines the nature and the mode of operation of the centrally planned economy, assessing its strengths and the weaknesses that eventually led to its demise. …

Cover of Adam M. Pilarski: Why Can''t We Make Money in Aviation?

Adam M. Pilarski: Why Can”t We Make Money in Aviation?

Seemingly since the beginning of aviation history there has been discussion and speculation on the remarkable inability of the industry to generate profits. This is even more so the case now, when a …

Cover of Theory and Practice of Directors'' Remuneration

Theory and Practice of Directors” Remuneration

The recent financial crisis has led to a loss of trust in corporate governance and in particular on remuneration practices and the propensity for these to create excessive risk-taking – particularly …

Cover of James Hole: Essay on History and Management

James Hole: Essay on History and Management

First Published in 1970. This volume is part of the Social History of Science series, reprinted with an new index. The essay focuses on the history and management of literary, scientific and mechanic …

Cover of Chahid Fourali: The Promise of Social Marketing

Chahid Fourali: The Promise of Social Marketing

Social marketing is an exciting new field of study that promises much to help alleviate many dilemmas of the human condition. It may be associated with any social project undertaken where human inter …