Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings |
|
| Editor:
| Dumas, Marlon
Heckel, Reiko |
| Series title: | Lecture Notes in Computer Science Ser. |
| ISBN: | 978-3-540-79229-1 |
| Publication Date: | Apr 2008 |
| Publisher: | Springer Berlin / Heidelberg
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $54.99 |
Book Description:
|
This proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services.
This proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services.