Kniha Web Services and Formal Methods Emilio Tuosto

Web Services and Formal Methods

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 11-15 dní
44.82
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2014
Stránok
189
EAN
9783319082592
ISBN
3319082590
Enbook ID
02723737
Hmotnosť
314
Rozmery
155 x 235 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

WARNING x

Ilya Kogan
9.53
165.24
12.77
22.99
13.46

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež