TY  - BOOK
AU  - Alford,M.W.
AU  - Ansart,J.P.
AU  - Siegert,H.J.
AU  - Paul,Manfred
AU  - Lamport,L.
AU  - Hommel,G.
AU  - Schneider,F.B.
AU  - Mullery,G.P.
AU  - Liskov,Barbara
TI  - Distributed systems: methods and tools for specification : an advanced course
T2  - Lecture notes in computer science 
SN  - 3540152164
PY  - 1985///
CY  - Berlín
PB  -  Springer
KW  - SISTEMAS DISTRIBUIDOS
KW  - REQUERIMIENTOS/ESPECIFICACIONES
KW  - PROCESAMIENTO DISTRIBUIDO
N1  - Preparado y presentado durante el Advance Course on Distributed Systems, Methods and Tools for Specification, realizado en Abril 3-12, 1984, organizado por el Institut für Informatik, Technische Universität München
ER  -