电子书 > 社会科学 > 经济 > 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

支持

的封面 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642382307 ● 编辑 Maurice H. ter Beek & Niels Lohmann ● 出版者 Springer Berlin Heidelberg ● 发布时间 2013 ● 下载 3 时 ● 货币 EUR ● ID 6323612 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Maurice H. ter Beek Niels Lohmann

254,351 此类电子书

的封面 Kurt A Richardson: Managing Organizational Complexity

Kurt A Richardson: Managing Organizational Complexity

的封面 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 …

的封面 Surabhi Singh: Driving Traffic and Customer Activity Through Affiliate Marketing

Surabhi Singh: Driving Traffic and Customer Activity Through Affiliate Marketing

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 Greg Koch & William Sarni: Creating 21st Century Abundance through Public Policy Innovation

Greg Koch & William Sarni: Creating 21st Century Abundance through Public Policy Innovation

One of the greatest challenges of the 21st century is the problem of how the public and private sectors can sustain economic development, business growth, social well-being and ecosystem health in th …