Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal Methods for Open Object-Based Distributed Systems
| Autor | Marcello M. Bonsangue, Einar Broch Johnsen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 11, 2007 |
| Idioma | inglés |
| Páginas | 317 |
| Formato | Paperback |
| ISBN-13 | 9783540729198 |
| ISBN-10 | 3540729194 |
| OCLC | 137334577 |