检索条件： Bravetti, Mario. ( 著者 )
责任者 Bravetti, Mario.,Kloul, Le?la.,Zavattaro, Gianluigi.
出版信息 Springer, ,c2005.
ISBN 3-540-28701-9
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
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 /
Bravetti, Mario.,Kloul, Le?la.,Zavattaro, Gianluigi..Springer,,c2005..
加入成功
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
确定预约