| 000 | 00613 a2200229 4500 | ||
|---|---|---|---|
| 003 | ISURu | ||
| 005 | 20240721203728.0 | ||
| 020 | _a0121229203 | ||
| 041 | _aeng | ||
| 082 |
_a004 _bCOR |
||
| 090 | _d53066 | ||
| 100 |
_aBoyer. R.S _eed _9125971 |
||
| 245 | _aThe correctness problem in computer science | ||
| 260 |
_aNew York _bAcademic Press _c1981 _g1981 |
||
| 300 | _axiii,279 p. | ||
| 490 | _aInternational Lecture Series in Computer Science | ||
| 650 | _acomputer science | ||
| 650 | 0 |
_aCOMPUTING _9121567 |
|
| 700 |
_aMoore, Strother J.ed _9125973 |
||
| 942 | _cR | ||
| 999 |
_c45656 _d53066 |
||
| 945 |
_dMain Library ADMIN _c26318 |
||