Web Services and Formal Methods
ISBN
9783642382307
Web Services and Formal Methods est un information systems, software engineering book de Maurice H. Beek.
À propos de ce livre
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
À propos de l'auteur
Maurice H. Beek est l'auteur de Web Services and Formal Methods. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Web Services and Formal Methods ?+
Web Services and Formal Methods est un livre de Information Systems, Software engineering, User Interfaces and Human Computer Interaction, Logic design, Logics and Meanings of Programs.
De quoi parle Web Services and Formal Methods ?+
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects s...
Qui a écrit Web Services and Formal Methods ?+
Web Services and Formal Methods a été écrit par Maurice H. Beek.