Bravetti, Mario.
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / [electronic resource] : edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3670 0302-9743 ; . - Lecture Notes in Computer Science, 3670 .
9783540319030
10.1007/11549970 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
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / [electronic resource] : edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3670 0302-9743 ; . - Lecture Notes in Computer Science, 3670 .
9783540319030
10.1007/11549970 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