Web Services and Formal Methods
ISBN
9783642382307
Web Services and Formal Methods es un information systems, software engineering book de Maurice H. Beek.
Sobre este libro
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.
Sobre el Autor
Maurice H. Beek es el autor de Web Services and Formal Methods. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Web Services and Formal Methods?+
Web Services and Formal Methods es un libro de Information Systems, Software engineering, User Interfaces and Human Computer Interaction, Logic design, Logics and Meanings of Programs.
¿De qué trata 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én escribió Web Services and Formal Methods?+
Web Services and Formal Methods fue escrito por Maurice H. Beek.