Web Services and Formal Methods
Laneve, Cosimo
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers [electronic resource] edited by Cosimo Laneve, Jianwen Su - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6194 0302-9743 .
9783642144585
Computer science
Computer Communication Networks
Software engineering
Information systems
Information storage and retrieval systems
Multimedia systems
Computer Science
Information Systems and Communication Service
Information Systems Applications (incl.Internet)
Computer Communication Networks
Information Storage and Retrieval
Software Engineering
Multimedia Information Systems
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers [electronic resource] edited by Cosimo Laneve, Jianwen Su - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6194 0302-9743 .
9783642144585
Computer science
Computer Communication Networks
Software engineering
Information systems
Information storage and retrieval systems
Multimedia systems
Computer Science
Information Systems and Communication Service
Information Systems Applications (incl.Internet)
Computer Communication Networks
Information Storage and Retrieval
Software Engineering
Multimedia Information Systems
