Please click here for information on incomplete orders placed before 03 July 2024

Web Services and Formal Methods

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

By: Emilio Tuosto (Editor), Chun Ouyang (Editor)

Write A Review

eBook | 29 December 2015

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

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.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Databases Information Retrieval Computer Programming & Software Development Software Engineering Business & Management Business Mathematics & Systems Programming & Scripting Languages Operating Systems Computer Science Human-Computer Interaction

Information Architecture Computer Architecture & Logic Design Business Applications Information Technology General Issue Compilers & Interpreters Mathematics

Web Services and Formal Methods

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

on

You Can Find This eBook In

This product is categorised by