Catalog > Științe sociale > 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

Ajutor

Copertina de 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783642382307 ● Editor Maurice H. ter Beek & Niels Lohmann ● Editura Springer Berlin Heidelberg ● Publicat 2013 ● Descărcabil 3 ori ● Valută EUR ● ID 6323612 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Maurice H. ter Beek Niels Lohmann

255.022 Ebooks din această categorie

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Pagina următoare >>>