Web Services, Formal Methods, and Behavioral Types : 11th International Workshop
Hildebrandt, Thomas (EDT); Ravara, António (EDT); Van Der Werf, Jan Martijn (EDT); Weidlich, Matthias (EDT)
ISBN 10: 3319336118 ISBN 13: 9783319336114
Edité par Springer, 2016
Ancien(s) ou d'occasion
Couverture souple
Vendeur
GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 6 avril 2009
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Unread book in perfect condition. N° de réf. du vendeur 26305029
Synopsis :
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.
The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.
The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Web Services, Formal Methods, and Behavioral...
Éditeur : Springer
Date d'édition : 2016
Reliure : Couverture souple
Etat : As New