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.
By: Bruni, Roberto.
Contributor(s): Wolf, Karsten | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5387.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642013645.Subject(s): Computer science | Computer Communication Networks | Computer system performance | Software engineering | Logic design | Information systems | Computer Science | Information Systems Applications (incl.Internet) | Software Engineering | Computer Communication Networks | Logics and Meanings of Programs | System Performance and Evaluation | Models and PrinciplesDDC 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.