TY  - BOOK
AU  - Najm,Elie
AU  - Stefani,Jean-Bernard
TI  - Formal methods for open object-based distributed systems
SN  - 0-412-79770-4
AV  - QA76.64 F67
PY  - 1997///
CY  - London
PB  - Chapman and Hall
KW  - Programación orientada a objetos (Computación)
KW  - Procesamiento electrónico de datos
KW  - Multiproceso
ER  -