 |
|
|
Item Details
| Title:
|
WEB SERVICES AND FORMAL METHODS
10TH INTERNATIONAL WORKSHOP, WS-FM 2013, BEIJING, CHINA, AUGUST 2013, REVISED SELECTED PAPERS |
| By: |
Emilio Tuosto (Editor), Ouyang Chun (Editor) |
| Format: |
Paperback |
| List price:
|
£34.99 |
| Our price: |
£29.74 |
| Discount: |
|
| You save:
|
£5.25 |
|
|
|
|
|
| ISBN 10: |
3319082590 |
| ISBN 13: |
9783319082592 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER INTERNATIONAL PUBLISHING AG |
| Pub. date: |
25 June, 2014 |
| Edition: |
2014 ed. |
| Series: |
Lecture Notes in Computer Science 8379 |
| Pages: |
189 |
| Synopsis: |
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. |
| Illustrations: |
37 Illustrations, black and white; IX, 189 p. 37 illus. |
| Publication: |
Switzerland |
| Imprint: |
Springer International Publishing AG |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|