Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
Bok Engelsk 2006 International Workshop on Web Services and Formal Methods
Utgitt | Berlin : Springer , c2006
|
---|---|
Omfang | X, 287 s. : ill.
|
Emner | |
ISBN | 3540388621. - 9783540388623
|