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 Affective and Emotional Economies in Medieval and Early Modern Europe by
Cover of the book Water-Conservation Traits to Increase Crop Yields in Water-deficit Environments by
Cover of the book Conceiving Nature after Aristotle, Kant, and Hegel by
Cover of the book Managing Flood Risk by
Cover of the book Statistical Theory and Inference by
Cover of the book Architectural Draughtsmanship by
Cover of the book Gender and Place in Chicana/o Literature by
Cover of the book Math for the Digital Factory by
Cover of the book Liberalizations in Network Industries by
Cover of the book Cancer Biomarkers in Body Fluids by
Cover of the book Maxillofacial Cone Beam Computed Tomography by
Cover of the book Semi-Blind Carrier Frequency Offset Estimation and Channel Equalization by
Cover of the book iBroadway by
Cover of the book Eppur si muove: Doing History and Philosophy of Science with Peter Machamer by
Cover of the book Surveillance in Action 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