Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Web Services and Formal Methods Emilio Tuosto
Libristo code: 02723737
Publishers Springer International Publishing AG, June 2014
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo... Full description
? points 100 b
40.89 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

W.A. MOZART La Flute Enchantee Pour Violon et Violoncelle (Conducteur) Marianne Rambert (Arrangement) / Book Paperback
common.buy 22.79 €
Indústria / Y en la mañana todo se desvanece Puchades / Book Paperback
common.buy 13.99 €
Ein schneller Überblick über Ultraschall Farshad Gharebakhshi / Book Paperback
common.buy 74.90 €
El avispón negro : un misterio de Lew Griffin James Sallis / Book Paperback
common.buy 16.99 €
LA REENCARNACION DEL YAKUZA 4 MIYASHITA / Book Paperback
common.buy 13.89 €
Brasilien, Brasilien Joao Ubaldo Ribeiro / Book Paperback
common.buy 22.00 €
Anemia ferropénica en el embarazo Manisha Gupta / Book Paperback
common.buy 35.30 €
Centelha (Em busca de um novo mundo #2) Amy Kathleen Ryan / Book Paperback
common.buy 27.79 €
Les insignes de la gendarmerie nat. Tome 1, les origines : les insignes homologués de 1996 à2004 Filmotte / Book Paperback
common.buy 21.69 €
Hundetagebuch Ungarischer Vorstehhund: Das Buch für deinen Hund, zum Eintragen und ausfüllen. Eintragebuch für Hundebesitzer Dog Kings / Book Paperback
common.buy 9.09 €
Geschichte und Geschehen - Oberstufe. Gesamtband. Lehrerband mit CD-ROM / Book Paperback
common.buy 47.21 €
Hunch Mediators P. Dean / Book Paperback
common.buy 26.80 €
Dictionnaire Alphabetico-Methodique Des Ceremonies Et Des Rites Sacres. Tome 16 BOISSONNET-V / Book Paperback
common.buy 36.89 €
Coming soon
Porsche Drive: Stelvio Jan Karl Baedeker / Book Hardback
common.buy 41.29 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Web Services and Formal Methods
Author Emilio Tuosto, Ouyang Chun
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 189
EAN 9783319082592
ISBN 3319082590
Libristo code 02723737
Publishers Springer International Publishing AG
Weight 314
Dimensions 155 x 235 x 12

Categories

Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

WARNING x Ilya Kogan / Book Paperback
common.buy 9.69 €
Wayside and Woodland Ferns; A Pocket Guide to the British Ferns, Horsetails and Clubmosses Edward Step / Book Hardback
common.buy 31.50 €
Not so Bad Tudor Robins / Book Hardback
common.buy 18.69 €
Of Goblin Kings Complete Collection Emma Hamm / Book Hardback
common.buy 41.39 €
Stochastic Analysis and Applications Pinsky / Book Paperback
common.buy 91.69 €
Room Away From the Wolves Nova Ren Suma / Book Paperback
common.buy 12.99 €
Kingdom of God is Within You Tolstoy / Book Hardback
common.buy 48.39 €
The Paranormal Investigator's Guide Dee Henderson / Book Paperback
common.buy 8.89 €
Transforming Community Karen Craddock / Book Paperback
common.buy 23.99 €
The Fighting Quakers: A True Story of the War for Our Union A J H Duganne / Book Paperback
common.buy 6.49 €
Handbook of Positive Psychology in Schools Michael J. Furlong / Book Paperback
common.buy 177.99 €
Alt Comic Book ANGEL LUIS TENDERO / Book Paperback
common.buy 14.79 €
Army and Civil Service Examination Papers in Arithmetic A D Clarke / Book Paperback
common.buy 19.20 €
Britain and the First World War (RLE The First World War) John Turner / Book Hardback
common.buy 187.79 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?