Cantitate/Preț
Produs
Total produse
Vezi coșul
Web Services and Formal Methods de Emilio Tuosto

Web Services and Formal Methods: Lecture Notes in Computer Science, cartea 8379

Editat de Emilio Tuosto, Chun Ouyang
en Limba Engleză Paperback – 25 iul 2014
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 26218 lei

Preț vechi: 32773 lei
-20%

Puncte Express: 393

Carte tipărită la comandă

Livrare economică 13-27 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319082592
ISBN-10: 3319082590
Pagini: 200
Ilustrații: IX, 189 p. 37 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:2014
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Introducing cloud activities around pacific rim.- Choreography revisited.- On the behaviour of general-purpose applications on cloud storages.- Formalizing RESTful services and web-OS middleware.- Visualization of successor relations in business process models.- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach.- Safe orchestration of Web services with unordered lossy communication.- Dynamic ontologies and semantic Web rules as biographical reactive systems.- On the expressiveness of parameterization in process-passing.- An operational semantics for model checking long running transactions.

Textul de pe ultima copertă

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.