Web Services and Formal Methods
ISBN
9783642382307
Web Services and Formal Methods is a information systems, software engineering book by Maurice H. Beek.
About this book
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.
About the Author
Maurice H. Beek is the author of Web Services and Formal Methods. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Web Services and Formal Methods?+
Web Services and Formal Methods is a Information Systems, Software engineering, User Interfaces and Human Computer Interaction, Logic design, Logics and Meanings of Programs book.
What is Web Services and Formal Methods about?+
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...
Who wrote Web Services and Formal Methods?+
Web Services and Formal Methods was written by Maurice H. Beek.