| 000 | 01006nam a22002537a 4500 | ||
|---|---|---|---|
| 001 | 191877 | ||
| 003 | MOEB | ||
| 005 | 20221223071852.0 | ||
| 008 | 870101s1987 xx eng d | ||
| 020 |
_a0471914746 _c0.00 |
||
| 035 | _a(SITECODE)OLD23700 | ||
| 040 | _aInstitute of Technology - Brunei | ||
| 082 | 0 |
_aQA/76.76.D47 _bBAB |
|
| 100 | 1 | _aBaber, Robert Laurence | |
| 245 | 1 | 4 |
_aThe spine of software : designing probably correct software: theory and practice or a mathematical introduction to the Semantics of computer programs _cRobert Laurence Baber. _h[Books]. |
| 260 |
_aNew York _bJohn Wiley & Sons Ltd _c1987 |
||
| 300 | _aPages: 316 | ||
| 600 | 1 | 0 | _aComputer software -- Development. |
| 600 | 1 | 0 | _aElectronic digital computers -- Programming. |
| 999 |
_c10165 _d10165 |
||
| 911 |
_a1 _badmin admin |
||
| 912 |
_a1 _badmin admin |
||