Code: 02723737
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 careful ... more
English
41.35 €
RRP: 44.83 €
You save 3.48 €

You get 100 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer science Human-computer interaction
41.35 €
English
Collection points Bratislava a 12839 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25682 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )