Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Lecture Notes in Computer Science)
- 出版商: Springer
- 出版日期: 2014-07-25
- 售價: $2,000
- 貴賓價: 9.5 折 $1,900
- 語言: 英文
- 頁數: 200
- 裝訂: Paperback
- ISBN: 3319082590
- ISBN-13: 9783319082592
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
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.
