Dumas, Marlon.
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / [electronic resource] : edited by Marlon Dumas, Reiko Heckel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4937 0302-9743 ; . - Lecture Notes in Computer Science, 4937 .
9783540792307
10.1007/978-3-540-79230-7 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
System Performance and Evaluation.
Management of Computing and Information Systems.
QA76.758
005.1
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / [electronic resource] : edited by Marlon Dumas, Reiko Heckel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4937 0302-9743 ; . - Lecture Notes in Computer Science, 4937 .
9783540792307
10.1007/978-3-540-79230-7 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
System Performance and Evaluation.
Management of Computing and Information Systems.
QA76.758
005.1