Web服务与形式方法/Web services and formal methods

副标题: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

ISBN: 9783540388623

出版社: Springer

出版年: 2006-10-5

页数: 299

定价: 508.50元

装帧: Paperback