Bruni, Roberto.
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / [electronic resource] : edited by Roberto Bruni, Karsten Wolf. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5387 0302-9743 ; . - Lecture Notes in Computer Science, 5387 .
9783642013645
10.1007/978-3-642-01364-5 doi
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 Principles.
QA76.76.A65
005.7
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / [electronic resource] : edited by Roberto Bruni, Karsten Wolf. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5387 0302-9743 ; . - Lecture Notes in Computer Science, 5387 .
9783642013645
10.1007/978-3-642-01364-5 doi
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 Principles.
QA76.76.A65
005.7