Книга 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

Автор: Emilio Tuosto, Ouyang Chun
Език: Английски език
Корици: С меки корици
Наличност: Външен склад
Изпращаме след 5-8 дни
42.38 82.89 лв
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2014
страници
189
EAN
9783319082592
ISBN
3319082590
Enbook ID
02723737
Теглоt
314
Размери
155 x 235 x 12

Пълно описание

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.

Може също да ви хареса

WARNING x

Ilya Kogan
10.04 19.64 лв
172.76 337.88 лв
13.55 26.51 лв
50.32 98.41 лв
9.14 17.87 лв
24.40 47.73 лв
14.31 27.98 лв

Клиенти, които купиха тази книга, купиха също

26.81 52.44 лв
36.66 71.69 лв
15.61 30.54 лв
27.72 54.21 лв