Code: 02723737

Web Services and Formal Methods

Name: Web Services and Formal Methods
Brand: Springer International Publishing AG
SKU: 02723737
Price: 41.13 EUR
Availability: InStock
Author: Emilio Tuosto
ISBN: 9783319082592

by Emilio Tuosto, Ouyang Chun

Language: English
Binding: Paperback
Number of pages: 189
Publisher: Springer International Publishing AG, 2014
More about this

41.13 €

RRP: 44.56 €

You save 3.44 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Porsche Drive: Stelvio
41.53 € -15 %
Pre-order
Of Goblin Kings Complete Collection
43.04 € -9 %
Buy
Britain and the First World War (RLE The First World War)
194.10 €
Buy
Ein schneller Überblick über Ultraschall
66.27 € -12 %
Buy
Anemia ferropénica en el embarazo
35.51 € -14 %
Buy
Centelha (Em busca de um novo mundo #2)
28.25 €
Buy
Alt Comic Book
14.88 € -9 %
Buy
Handbook of Positive Psychology in Schools
183.94 €
Buy
Brasilien, Brasilien
19.60 € -11 %
Buy
W.A. MOZART La Flute Enchantee Pour Violon et Violoncelle (Conducteur)
25.13 €
Buy
WARNING x
10.05 € -6 %
Buy
The Paranormal Investigator's Guide
9.14 € -6 %
Buy
Hunch Mediators
26.96 € -9 %
Buy
Geschichte und Geschehen - Oberstufe. Gesamtband. Lehrerband mit CD-ROM
47.48 €
Buy
Les insignes de la gendarmerie nat. Tome 1, les origines : les insignes homologués de 1996 à2004
23.93 €
Buy
Transforming Community
24.13 € -18 %
Buy
Not so Bad
19.30 € -25 %
Buy
El avispón negro : un misterio de Lew Griffin
18.80 €
Buy
Kingdom of God is Within You
48.67 € -14 %
Buy
Stochastic Analysis and Applications
94.73 €
Buy
Room Away From the Wolves
13.37 € -18 %
Buy
Hundetagebuch Ungarischer Vorstehhund: Das Buch für deinen Hund, zum Eintragen und ausfüllen. Eintragebuch für Hundebesitzer
9.44 € -6 %
Buy
Indústria / Y en la mañana todo se desvanece
15.28 €
Buy
The Fighting Quakers: A True Story of the War for Our Union
6.83 € -5 %
Buy
Army and Civil Service Examination Papers in Arithmetic
19.80 € -25 %
Buy
LA REENCARNACION DEL YAKUZA 4
15.28 €
Buy
Dictionnaire Alphabetico-Methodique Des Ceremonies Et Des Rites Sacres. Tome 16
38.11 €
Buy
Wayside and Woodland Ferns; A Pocket Guide to the British Ferns, Horsetails and Clubmosses
32.58 € -1 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Web Services and Formal Methods

Book details
Synopsis
Trending among others

You get 100 loyalty points

Book 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.

Book details

Book category Knihy po anglicky Computing & information technology Computer science Human-computer interaction

41.13 €

Full title: Web Services and Formal Methods
Subtitle: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Author: Emilio Tuosto, Ouyang Chun
Language: English
Binding: Paperback
Number of pages: 189
EAN: 9783319082592
ISBN: 3319082590
ID: 02723737
Publisher: Springer International Publishing AG
Weight: 314 g
Dimensions: 235 × 155 × 12 mm
Date of publishing: 25. June 2014