Formal Methods for Open Object-based Distributed Systems
Volume 1 (IFIP International Federation for Information Processing)
Edición de la obra Formal methods for open object-based distributed systems
| Autor | Howard Bowman |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 30, 1996 |
| Idioma | inglés |
| Páginas | 428 |
| ISBN-13 | 9780412797705 |
| ISBN-10 | 0412797704 |
| Número de Cutter | B787f |