Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Edición de la obra Formal Methods for Open Object-Based Distributed Systems
| Autor | Marcello M. Bonsangue, Einar Broch Johnsen |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540729525 |
| Número de Cutter | B721f |