Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal methods for open object-based distributed systems
| Autor | Roberto Gorrieri, Heike Wehrheim |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 26, 2006 |
| Idioma | inglés |
| Páginas | 267 |
| Formato | Paperback |
| ISBN-13 | 9783540348931 |
| ISBN-10 | 354034893X |
| OCLC | 70250493 |