Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan.
By: Bravetti, Mario.
Contributor(s): Bultan, Tevfik | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6551.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642195891.Subject(s): Computer science | Software engineering | Information storage and retrieval systems | Information systems | Information Systems | Computer Science | Information Systems Applications (incl.Internet) | Software Engineering | Management of Computing and Information Systems | Information Storage and Retrieval | User Interfaces and Human Computer InteractionDDC classification: 005.7 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.