000			01835nam a22003737a 4500
999			_c499309 _d499307
001			3804256
003			Ge_NSL
005			20190614114613.0
008			190614s1985 de ||||| |||| 00| 0 eng d
010			_a 85004800
020			_a0387152164 (U.S. : pbk.)
040			_aDLC _cDLC _dDLC
041			_aeng
050	0	0	_aQA76.9.D5 _bD63 1985
080			_a004
082	0	0	_a001.64 _219
245	0	0	_aDistributed systems : _bmethods and tools for specification : an advanced course / _cM. W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert ; Technische Universität München, Institut für Informatik.
260			_aBerlin ; _aNew York : _bSpringer-Verlag, _cc1985.
300			_avi, 573 p. : _bill. ; _c25 cm.
440		0	_aLecture notes in computer science ; _v190 _9119773
500			_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 für Informatik, Technische Universität München.
500			_aIncludes index.
504			_aBibliography: p. [548]-564.
650		0	_aElectronic data processing _xDistributed processing. _94370
653			_aსაინფორმაციო ტექნოლოგიები
653			_aკომპიუტერული ტექნოლოგიები
653			_aმონაცემთა ელექტრონული დამუშავება
700	1		_aAlford, M. W. _q(Mack W.) _9119774
700	1		_aPaul, Manfred, _d1932- _eრედაქტორი _9119775
700	1		_aSiegert, H. J. _eრედაქტორი _9119776
710	2		_aTechnische Universität München _bInstitut für Informatik _9119777
906			_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg
942			_2udc _cBK