Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings

作者：Mario Bravetti, Leila Kloul, Gianluigi Zavattaro.
出版社：Springer-Verlag GmbH.
ISBN：9783540319030 (electronic bk.) ; 9783540287018 (paper)
出版日期：2005
其他作者：Bravetti, Mario. ; Kloul, Leila. ; Zavattaro, Gianluigi.
語言：zh
出版地：Berlin Heidelberg :
內容簡介

xiii, 348 p. ::ill., digital ;:24 cm.

搜尋同作者