Catalog > Ciencias sociales > Economía > 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

Soporte

Portada 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.36

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783642382307 ● Editor Maurice H. ter Beek & Niels Lohmann ● Editorial Springer Berlin Heidelberg ● Publicado 2013 ● Descargable 3 veces ● Divisa EUR ● ID 6323612 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Maurice H. ter Beek Niels Lohmann

254.351 Ebooks en esta categoría

Portada de Kurt A Richardson: Managing Organizational Complexity

Kurt A Richardson: Managing Organizational Complexity

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

Portada de Surabhi Singh: Driving Traffic and Customer Activity Through Affiliate Marketing

Surabhi Singh: Driving Traffic and Customer Activity Through Affiliate Marketing

Portada de Bob Travica: Informing View of Organization: Strategic Perspective

Bob Travica: Informing View of Organization: Strategic Perspective

Businesses are incorporating automated processes and information technology, as cost cutters or productivity boosters, into their business strategy now more than ever. However, as information systems …

Portada de Megh R. (University of Puerto Rico, Mayaguez (Retired professor)) Goyal & Balram (Orissa University of Agriculture and Technology, Bhubaneswar, India) Panigrahi: Soil and Water Engineering

Megh R. (University of Puerto Rico, Mayaguez (Retired professor)) Goyal & Balram (Orissa University of Agriculture and Technology, Bhubaneswar, India) Panigrahi: Soil and Water Engineering

Modeling aspects have added a new dimension in research innovations in all branches of engineering. In the field of soil and water engineering, they are increasingly used for planning, development, a …

Portada de Tony Carter & William Winston: The Aftermath of Reengineering

Tony Carter & William Winston: The Aftermath of Reengineering

Explore the multifaceted steps needed for a successful reengineering process!With The Aftermath of Reengineering: Downsizing and Corporate Performance, you will explore the effectiveness of business …

Portada de Youssef M. (Agricultural Research Center, Egypt) Hamada: Agribusiness as the Future of Agriculture

Youssef M. (Agricultural Research Center, Egypt) Hamada: Agribusiness as the Future of Agriculture

This informative book reviews the challenges of agribusiness in the Southeast Mediterranean. The author focuses on sugarcane cultivation in Egypt to illustrate the impact of climate change on agribus …

Portada de Gary Amy & Roger A. Minear: Disinfection By-Products in Water TreatmentThe Chemistry of Their Formation and Control

Gary Amy & Roger A. Minear: Disinfection By-Products in Water TreatmentThe Chemistry of Their Formation and Control

Disinfection By-Products in Water Treatment describes new government regulations related to disinfection by-products. It explains the formation of microorganism by-products during water treatment and …

Portada de Morgan Cummings: Bonanza Babes Present: Video Sales Letters You Can''t Resist

Morgan Cummings: Bonanza Babes Present: Video Sales Letters You Can»t Resist

Are you hard-pressed for new ways to boost your marketing efforts? Do your sales letters seem old and tired? What if I told you there’s a way to make them fresh and ‘sexy’? What if it was eight young …

Portada de Nathalie (EPFL Press, Lausanne, Switzerland) Chevre: Micropollutants in Large Lakes

Nathalie (EPFL Press, Lausanne, Switzerland) Chevre: Micropollutants in Large Lakes

Scientists, regulators, and the general public are now more and more aware of the chemicals present in surface waters worldwide. Agrochemicals, such as herbicides or insecticides, pharmaceuticals and …

siguiente página >>>