Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
Bravetti, Mario.
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
TK5105.88813 / B73 2006
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
TK5105.88813 / B73 2006