Bravetti, Mario. <br/><br/>
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 /  [electronic resource] : 
edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. 
 - 1a ed. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2005. 
 -  v.: digital 
 - Lecture Notes in Computer Science,  3670  0302-9743 ; .
 - Lecture Notes in Computer Science,  3670  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783540319030 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sistemas informáticos --Evaluación<br/>Métodos formales (informática)<br/>Sistemas de telecomunicaciones --Evaluación
<br/><br/><label>LC Class. No.: </label>QA76.9.E94  / B73 2005