000 00644pam a2200181a 44500
008 160408b1985 xxu||||| |||| 00| 0 eng d
020 _a0521267935
040 _aIIT, Kanpur
082 _a001.6424
_bAl33
100 _aNivat, Maurice
245 1 _aAlgebraic methods in semantics
_cedited by Maurice Nivat and John C. Reynolds
260 _aCambridge
_bCambridge University Press
_c1985
300 _axv, 634p.
650 _aProgramming Languages (Electronic Computers) -- Syntax
650 _aProgramming Languages (Electronic Computers) -- Semantics
700 _aNivat, Maurice, Ed.
997 _aA102444 C
999 _c314555
_d314555