Mohlo by se vám také líbit

Více informací o knize Web Services and Formal Methods

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 138 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Web Services and Formal Methods
• Podnázev: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
• Autor: Emilio Tuosto, Ouyang Chun
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 189
• EAN: 9783319082592
• ISBN: 3319082590
• ID: 02723737
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 314 g
• Rozměry: 235 × 155 × 12 mm
• Datum vydání: 25. June 2014

Oblíbené z jiného soudku

---

---

---