Catalog > Sciences sociales > Economie > 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

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783642382307 ● Éditeur Maurice H. ter Beek & Niels Lohmann ● Maison d’édition Springer Berlin Heidelberg ● Publié 2013 ● Téléchargeable 3 fois ● Devise EUR ● ID 6323612 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Maurice H. ter Beek Niels Lohmann

255 022 Ebooks dans cette catégorie

Couverture du Anthony Tasgal: Consumer Behaviour Book

Anthony Tasgal: Consumer Behaviour Book

Neoclassical economics assumes that most people have well-defined preferences and make well-informed, self-interested decisions based on those preferences. But in the real world, this is often not th …

Couverture du Ian Stokes: Training for Project Management

Ian Stokes: Training for Project Management

Most people accept the importance of project management as a means of realizing value, enabling change and distinguishing your organization from its competitors. But recognizing and doing are two ent …

Couverture du Adam Lindgreen & Francois Maon: Sustainable Entrepreneurship

Adam Lindgreen & Francois Maon: Sustainable Entrepreneurship

The way organizations manage entrepreneurship has changed dramatically over the past decade. Today, organizations take account of economic issues, but they also adopt a broader perspective of their p …

Couverture du Uday B. Kompella & Boris Y. Shekunov: Supercritical Fluid Technology for Drug Product Development

Uday B. Kompella & Boris Y. Shekunov: Supercritical Fluid Technology for Drug Product Development

Interconnecting the fundamentals of supercritical fluid (SCF) technologies, their current and anticipated utility in drug delivery, and process engineering advances from related methodological domain …

Couverture du Anthony McDonnell & Sharna Wiblen: Talent Management

Anthony McDonnell & Sharna Wiblen: Talent Management

Talent management is a central element of managerial discourse and organisational practice. This short-form book provides a succinct overview on the state of research on talent management. The author …

Couverture du Gwyneth Moore: Fashion Promotion

Gwyneth Moore: Fashion Promotion

Fashion Promotion is an inspiring and practical guide to promoting a brand. It addresses the new ways in which brands engage with customers, through the latest digital channels as well as traditional …

Couverture du Andrea (Cordie Limited, UK) Cordell & Ian (Cordie Limited, UK) Thompson: The Category Management Handbook

Andrea (Cordie Limited, UK) Cordell & Ian (Cordie Limited, UK) Thompson: The Category Management Handbook

Category management is one of the biggest contributors of commercial value in the area of procurement and supply chain. With a proven track record of successful delivery since the early 1990s, it hel …

Couverture du Lauryn E. DeGreeff & Craig A. Schultz: Canines

Lauryn E. DeGreeff & Craig A. Schultz: Canines

Detection canines have been utilized throughout the world for over a century, and while numerous attempts have been made to replicate the canine’s ability to detect substances by mechanical means, no …

Couverture du Sidney Dekker & Amanda Oates: Restorative Just Culture in Practice

Sidney Dekker & Amanda Oates: Restorative Just Culture in Practice

A restorative just culture has become a core aspiration for many organizations in healthcare and elsewhere. Whereas ‘just culture’ is the topic of some residual conceptual debate (e.g. retributive po …

Couverture du Paula Scariati: EHR Governance

Paula Scariati: EHR Governance

Organizations spend large amounts of money to purchase, deploy, and optimize their Electronic Health Records (EHRs). They are not plug-n-play systems so a commitment to an ongoing improvement cycle i …

Page suivante >>>