Formal Methods for Open Object-based Distributed Systems : Volume 1 /
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Serie: | (IFIP Advances in Information and Communication Technology)
|
| Accesso online: | Ver documento en línea |