| 000 | 00981nam a2200265 a 4500 | ||
|---|---|---|---|
| 005 | 20250914080137.0 | ||
| 008 | 981208s1987 xxk 00 eng | ||
| 020 | _a0471914746 | ||
| 039 | 9 |
_y08-18-1999 _zload |
|
| 090 |
_aQA76.76.D47 _bB33 |
||
| 100 | 1 | _aBaber, Robert Laurence | |
| 245 | 1 | 4 |
_aThe spine of software : _bdesigning provably correct software : _btheory and practice or a mathematical introduction to the semantics of computer programs / _cRobert Laurence Baber |
| 260 |
_aChichester : _bJohn Wiley & Sons, _c1987 |
||
| 300 |
_axi, 316 p. ; _c24 cm. |
||
| 504 | _aBibliography: p.302-305 | ||
| 650 | 0 |
_aComputer software _xDevelopment |
|
| 650 | 0 |
_aElectronic digital computers _xProgramming |
|
| 907 |
_a.b12188001 _b2023-03-03 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA76.76.D47 B33 |
||
| 914 | _avtls000225848 | ||
| 991 | _aFakulti Pengurusan Perniagaan | ||
| 998 |
_at _b1999-05-08 _cm _da _feng _gxxk _y0 _z.b12188001 |
||
| 999 |
_c220240 _d220240 |
||