000 00634 a2200193 4500
005 20161117152035.0
008 161117b xxu||||| |||| 00| 0 eng d
040 _cIITK
041 _aeng
082 _a001.642
_bC833
245 1 _aCourant computer science symposium 2
_bformal semantics of programming languages
_cedited by Randall Rustin
260 _aEnglewood Cliffs, N. J.
_bPrentice-Hall
_c1972
300 _a248p
440 _aPrentice-Hall Series In Automatic Computation
650 _aProgramming Languages (Electronic Computers) -- Congresses
650 _aSemantics
700 _aRustin, Randall [ed.]
942 _cBK
999 _c460014
_d460014