Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Programming and Software Engineering
Bravetti, Mario (EDT)
Nunez, Manuel (EDT)
Zavattaro, Gianluigi (EDT)
- 出版社:Springer-Verlag New York Inc
- 出版年月:2006年 09月
- ISBN:9783540388623
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:289 p.
- 分類: ネットワーク & セキュリティ
- DDC分類:005