000			00970nam a2200253 a 4500
001			vtls000000579
003			KUKTEM
005			20251117141535.0
008			060614t1996 maua f a001 0 eng d
020			_a026207172X
039		9	_a201107131625 _bVLOAD _c201002030912 _dida _c200908140944 _dVLOAD _c200908140925 _dVLOAD _y200606141059 _zVLOAD
040			_aUMP
090			_aQA76.7 .G63 1996
100	1		_aGoguen, Joseph
245	1	0	_aAlgebraic semantics of imperative programs / _cJoseph A. Goguen and Grant Malcolm
260			_aCambridge, Mass. : _bMIT Press, _cc1996
300			_avii, 228 p. : _bill. ; _c24 cm.
440		0	_aFoundations of computing
504			_aIncludes bibliographical references (p. [223]-225) and index
650		0	_aProgramming languages (Electronic computers) _xSemantics
650		0	_aAlgebra
700	1		_aMalcolm, Grant
999			_aVIRTUA40 _c19129 _d19135
999			_aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4400*5040*6500*6501*7000*9991