Web services and formal methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revi...
Corporate Authors: | WS-FM 2008 Milan, Italy) |
---|---|
Other Authors: | WS-FM 2008, Bruni, Roberto., Wolf, Karsten, 1967-, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin :
Springer,
©2009.
Berlin : [2009] |
Physical Description: |
1 online resource (x, 239 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
5387. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |