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 Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4184 0302-9743 ; . - Lecture Notes in Computer Science, 4184 .
9783540388654
10.1007/11841197 doi
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.
QA76.758
005.1
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 Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4184 0302-9743 ; . - Lecture Notes in Computer Science, 4184 .
9783540388654
10.1007/11841197 doi
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.
QA76.758
005.1