TY  - BOOK
AU  - Alford,Mack W.
AU  - Paul,Manfred
ED  - Technische Universitat Munchen. Institut fur Informatik
TI  - Distributed systems: methods and tools for specification : an advanced course 
AV  - QA76.9 D5 D63
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic data processing
KW  - Distributed processing
KW  - Addresses, essays, lectures
N1  - Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut fur Informatik, Technische Universitat Munchen
ER  -