| 000 | 00591nam a22001937a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20260424144504.0 | ||
| 008 | 260219b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781107180185 (cb.) | ||
| 040 | _cNVSU Library Bambang | ||
| 100 | _aRamsey, Norman | ||
| 245 |
_aProgramming languages : _bbuild, prove, and compare / _cRamsey Norman. |
||
| 260 |
_aNew York, N.Y.: _bCambridge Univ, Press, _cc2023. |
||
| 300 |
_axxi, 775 p. ; _c27 cm. |
||
| 504 | _aIncludes bibliography & index. | ||
| 650 | _aProgramming languages | ||
| 650 | _aComputer programming | ||
| 942 |
_2ddc _cBK _n0 |
||
| 999 |
_c5634 _d5634 |
||