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 |