Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal Methods for Open Object-Based Distributed Systems
| Autor | Martin Steffen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 9, 2005 |
| Idioma | inglés |
| Páginas | 323 |
| Formato | Paperback |
| ISBN-13 | 9783540261810 |
| ISBN-10 | 3540261818 |
| OCLC | 60677082 |
| LCCN | 2005926702 |