Your search returned 2 results.

Results
		Formal Techniques for Computer Systems and Business Processes [Recurso electrónico] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September by Bravetti, Mario \| Kloul, Leila \| Zavattaro, Gianluigi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3670Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Web Services and Formal Methods [Recurso electrónico] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings edited by Mario Bravetti, Manuel NÃºÃ±ez, Gianluigi Zavattaro. by Bravetti, Mario \| NÃºÃ±ez, Manuel \| Zavattaro, Gianluigi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4184Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Refine your search