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

Author：Mario Bravetti, Leila Kloul, Gianluigi Zavattaro.
Publisher：Springer-Verlag GmbH.
ISBN：9783540319030 (electronic bk.) ; 9783540287018 (paper)
Publication Date：2005
其他作者：Bravetti, Mario. ; Kloul, Leila. ; Zavattaro, Gianluigi.
語言：zh
出版地：Berlin Heidelberg :
Description

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

Search Same Author