000			01165 a2200229 4500
003			Nust
005			20220802125021.0
010			_a 85025214
020			_a0444878882 (Elsevier) :
040			_cNust
082	0	0	_a005.1,FOR
245	1	0	_aFormal models in programming : _bproceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / _cedited by E.J. Neuhold and G. Chroust.
260			_aAmsterdam ; _aNew York : _bNorth-Holland ; _aNew York, N.Y., U.S.A. : _bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., _c1985.
300			_axix, 425 p. : _bill. ; _c23 cm.
505			_a about the architecture of my life (Page-1), Awards of Heinz Zemanek (Page -9), publications by Zemanek (Page-11), Subject areas of publications (Page-27), Invited and submitted papers (Page-31).
600	1	0	_aZemanek, Heinz. _996266
650		0	_aComputer programming _xCongresses. _996267
700	1		_aChroust, Gerhard, _d1941- _996268
700	1		_aNeuhold, Erich J. _996269
710	2		_aIFIP Technical Committee 2--Programming. _996270
942			_cBK _2ddc _k005.1,FOR
999			_c193460 _d193460