Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers

作者：edited by Mario Bravetti, Tevfik Bultan.
出版社：Springer Berlin Heidelberg
ISBN：9783642195891 (electronic bk.) ; 9783642195884 (paper)
出版日期：2011
其他作者：Bravetti, Mario. ; Bultan, Tevfik.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

viii, 190 p. ::ill., digital ;:24 cm.

搜尋同作者