Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Edición de la obra Formal Methods for Open Object-Based Distributed Systems
| Autor | Martin Steffen, Gianluigi Zavattaro |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540315568 |
| Número de Cutter | S817f |