EAN: 9783319082592

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
20.11.2025 um 06:48 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: