Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers

作者：edited by Marco Carbone, Jean-Marc Petit.
出版社：Springer Berlin Heidelberg
ISBN：9783642298349 (electronic bk.) ; 9783642298332 (paper)
出版日期：2012
其他作者：Carbone, Marco. ; Petit, Jean-Marc.
語言：eng
出版地：Berlin, Heidelberg :
內容簡介

vi, 142 p. ::ill., digital ;:24 cm.

搜尋同作者