Web services and formal methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / edited by Roberto Bruni, Karsten Wolf.
Series: Lecture notes in computer science ; 5387Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: 239 p. : ill., digital ; 24 cmISBN:- 9783642013645 (electronic bk.)
- International Workshop, WS-FM 2008
- WS-FM 2008
- 004.0151 22
- TK5105.88813 .W67 2008
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
