methods and tools for specification : an advanced course Alford, Mack W. Paul, Manfred Technische Universitat Munchen. Institut fur Informatik text gw Berlin Springer-Verlag 1985 monographic eng 573 p. M. W. Alford ... [et al.] ; edited by M. Paul and H. J. Siegert 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 Electronic data processing Distributed processing Addresses, essays, lectures QA76.9 D5 D63 081122 20260818094028.0