Distributed systems :  methods and tools for specification : an advanced course / 
M. W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert ; Technische Universität München, Institut für Informatik. 
 -  Springer-Verlag,  c1985. 
 - vi, 573 p. :  ill. ;  25 cm. 
 - Lecture notes in computer science ;  190 .
<br/><br/> 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. 
<br/><br/>Bibliography: p. [548]-564. 
<br/><br/><label>ISBN: </label>0387152164 (U.S. : pbk.) 
<br/><br/><label>LCCN: </label>85004800  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Distributed processing.
<br/><br/><label>Subjects--Index Terms: </label>საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები მონაცემთა ელექტრონული დამუშავება 
<br/><br/><label>LC Class. No.: </label>QA76.9.D5  / D63 1985 
<br/><br/><label>Dewey Class. No.: </label>001.64 
<br/><br/><label>Universal Decimal Class. No.: </label>004