Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / [electronic resource] :
edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4184 0302-9743 ; .
9783540388654
Computer science Computer Communication Networks Computer system performance Software engineering Logic design Computer Science Software Engineering Computer Communication Networks Logics and Meanings of Programs System Performance and Evaluation Computers and Society