00949cam a2200181 a 450000500170000000800410001703500150005805000190007324501510009226000370024330000110028044000480029150002460033965000840058570000200066970000180068971000600070720260818094028.0081122s1985    gw      r     000|0 eng |  a.b1021048900aQA76.9 D5bD6300aDistributed systems :bmethods and tools for specification : an advanced course /cM. W. Alford ... [et al.] ; edited by M. Paul and H. J. Siegert  aBerlin :bSpringer-Verlag,c1985  a573 p. 0aLecture notes in computer science ;vv. 190  aPrepared 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 0aElectronic data processingxDistributed processingxAddresses, essays, lectures1 aAlford, Mack W.1 aPaul, Manfred2 aTechnische Universitat Munchen. Institut fur Informatik