Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems , February 15-18, 1999, Florence, Italy
Edición de la obra Formal methods for open object-based distributed systems
| Autor | Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9780387355627 |
| Número de Cutter | C566f |