Web服务与形式方法/Web services and formal methods
Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi
Springer
出版时间：2006-10-5
出版社：Springer
作者：Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi
页数：286
Tag标签：无
图书封面
图书标签Tags
无
下载链接
Web服务与形式方法/Web services and formal methodsPDF格式下载