
Formal methods for open object-based distributed systems
Edición de la obra Formal methods for open object-based distributed systems
| Autor | Howard Bowman |
|---|---|
| Editorial | Chapman & Hall |
| Fecha de publicación | 1997 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 411 |
| ISBN-10 | 0412797704, 0412820404 |
| OCLC | 36802760 |
| Número de Cutter | B787f |