|
|
books
| book details |
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Edited by Emilio Tuosto, Edited by Chun Ouyang
|
| on special |
normal price: R 1 340.95
Price: R 1 206.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 25 Jul 2014
Language |
Format | Paperback / softback
Pages | 189
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-3190-8259-2
Readership Age |
BISAC | computers / business software
| other options |
Normally shipped |
Readership Age |
Normal Price | R 1 762.95
Price | R 1 586.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
|
|
|
|
|
