000 | 00471 a2200157 4500 | ||
---|---|---|---|
082 |
_a001.642 _bC833 |
||
100 | _aRustin, Randall | ||
245 | 1 | _aFORMAL SEMANTICS OF PROGRAMMING LANGUAGES | |
260 |
_aEnglewood Cliffs, N. J. _bPrentice-Hall _c1972 |
||
300 | _a248 | ||
440 |
_aPrentice-Hall Series In Automatic Computation _v |
||
650 | _aProgramming Languages (Electronic Computers) -- Congresses | ||
650 | _aSemantics | ||
964 | _gCIRC | ||
997 | _aA33452 C | ||
999 |
_c461139 _d461139 |