Könyv 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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
15 522 Ft
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
189
EAN
9783319082592
ISBN
3319082590
Enbook ID
02723737
Súly
314
Méretek
155 x 235 x 12

Teljes leírás

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.

Érdekelheti

WARNING x

Ilya Kogan
3 851 Ft
5 277 Ft
9 475 Ft
5 565 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták