Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers: 8379 - Brossura

 
9783319082592: Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers: 8379
Brossura
ISBN 10: 3319082590 ISBN 13: 9783319082592
Casa editrice: Springer, 2014

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3319082590
ISBN 13 
9783319082592
Rilegatura
Copertina flessibile
Numero di pagine
200
Redattore
Tuosto Emilio, Ouyang Chun
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783319082615: Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Edizione in evidenza

ISBN 10:  3319082612 ISBN 13:  9783319082615
Casa editrice: Springer, 2014
Brossura