TY - BOOK AU - Alford,M.W. AU - Paul,Manfred AU - Siegert,H.J. ED - Technische Universität München TI - Distributed systems: methods and tools for specification : an advanced course SN - 0387152164 (U.S. : pbk.) AV - QA76.9.D5 D63 1985 U1 - 001.64 19 PY - 1985/// CY - Berlin, New York PB - Springer-Verlag KW - Electronic data processing KW - Distributed processing KW - საინფორმაციო ტექნოლოგიები KW - კომპიუტერული ტექნოლოგიები KW - მონაცემთა ელექტრონული დამუშავება 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 für Informatik, Technische Universität München; Includes index; Bibliography: p. [548]-564 ER -