Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Information Technology, Programming, Software Development, General Computing
Cover of the book Web Services and Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319082608
Publisher: Springer International Publishing Publication: June 24, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319082608
Publisher: Springer International Publishing
Publication: June 24, 2014
Imprint: Springer
Language: English

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.

More books from Springer International Publishing

Cover of the book The Design of Learning Experience by
Cover of the book Attachment Transmission in Wireless Networks by
Cover of the book Surgeons as Educators by
Cover of the book Communication Systems for Electrical Engineers by
Cover of the book Politics and Digital Literature in the Middle East by
Cover of the book Group Decision and Negotiation. A Socio-Technical Perspective by
Cover of the book Functional Verification of Dynamically Reconfigurable FPGA-based Systems by
Cover of the book Evolutionary Computation Techniques: A Comparative Perspective by
Cover of the book Migration, Risk Management and Climate Change: Evidence and Policy Responses by
Cover of the book Optimization and Decision Support Systems for Supply Chains by
Cover of the book Vascular Surgery by
Cover of the book Advances in Condition Monitoring of Machinery in Non-Stationary Operations by
Cover of the book Radiological Imaging of the Digestive Tract in Infants and Children by
Cover of the book Cardiovascular OCT Imaging by
Cover of the book Diversity, Dynamics and Functional Role of Actinomycetes on European Smear Ripened Cheeses by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy