馆藏书目查询系统 - 上海图书馆

Author Results for International Workshop on Web Services and Formal Methods (2005 Versailles, France)

Cover is for reference only

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

Corporate Authors: EPEW (2005 Versailles, France); International Workshop on Web Services and Formal Methods (2005 Versailles, France) (Versailles, France))
Group Author: Bravetti Mario.; Kloul Le··ila.; Zavattaro Gianluigi.
Published: Springer,
Publication Dates: c2005.
Call Number: TP306-532/E897/2005

Book

Cover is for reference only

Corporate Authors: EPEW (Workshop) (2nd 2005 Versailles, France); International Workshop on Web Services and Formal Methods (2005 Versailles, France) (Versailles, France))
Group Author: Bravetti Mario.; Kloul Leïla.; Zavattaro Gianluigi.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search