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
|
