Menu
Află starea comenzii
Contactați-ne
Carte Web Services and Formal Methods Emilio Tuosto

Web Services and Formal Methods

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

Autor: Emilio Tuosto, Ouyang Chun
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
221.55 lei
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...

Informații despre carte

Autor
Emilio Tuosto, Ouyang Chun
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
189
EAN
9783319082592
ISBN
3319082590
Enbook ID
02723737
Editura
Springer International Publishing AG
Greutate
314
Dimensiuni
155 x 235 x 12

Descriere completă

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.

S-ar putea să te intereseze

WARNING x

Ilya Kogan
55.20 lei

Wayside and Woodland Ferns; A Pocket Guide to the British Ferns, Horsetails and Clubmosses

Edward Step
178.53 lei

Handbook of Positive Psychology in Schools

Michael J. Furlong
943.37 lei

Room Away From the Wolves

Nova Ren Suma
75.15 lei

Kingdom of God is Within You

Tolstoy
263.06 lei

The Paranormal Investigator's Guide

Dee Henderson
50.37 lei

Transforming Community

Karen Craddock
134.90 lei

How Many Therapists Does It Take?

Kenneth E Reid
79.08 lei

Army and Civil Service Examination Papers in Arithmetic

A D Clarke
112.03 lei

Britain and the First World War (RLE The First World War)

John Turner
915.86 lei

Clienții care au cumpărat această carte au mai cumpărat și

W.A. MOZART La Flute Enchantee Pour Violon et Violoncelle (Conducteur)

Marianne Rambert (Arrangement)
134.50 lei

Indústria / Y en la mañana todo se desvanece

Puchades
79.08 lei

Anemia ferropénica en el embarazo

Manisha Gupta
191.73 lei

Hundetagebuch Ungarischer Vorstehhund: Das Buch für deinen Hund, zum Eintragen und ausfüllen. Eintragebuch für Hundebesitzer

Dog Kings
51.78 lei

LA REENCARNACION DEL YAKUZA 4

MIYASHITA
78.48 lei

Dictionnaire Alphabetico-Methodique Des Ceremonies Et Des Rites Sacres. Tome 16

BOISSONNET-V
207.75 lei

Hunch Mediators

P. Dean
144.98 lei

Geschichte und Geschehen - Oberstufe. Gesamtband. Lehrerband mit CD-ROM

254.10 lei