EAN: 9783319082592

WEB SERVICES AND FORMAL METHODS KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319082592

Produktinformationen zur 9783319082592