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
Edición de la obra Formal Techniques for Computer Systems and Business Processes
| Autor | Mario Bravetti, Leila Kloul, Gianluigi Zavattaro |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540319030 |
| Número de Cutter | B826f |