| 000 | 00613nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 7560 | ||
| 003 | BD-DhUET | ||
| 008 | 820427s1981 enka b 001 0 eng | ||
| 020 | _a0121229203 | ||
| 040 |
_aDLC _cDLC _dBD-DhUET |
||
| 082 | 0 | 0 |
_a001.642 _bBOY/1981 |
| 100 | _a Boyer, R. S. | ||
| 245 | 0 | 4 |
_aCorrectness problem in computer science _cedited by R.S. Boyer and J Strother Moore |
| 250 | _a1st ed. | ||
| 260 |
_aLondon _bAcademic Press _c1981 |
||
| 300 |
_axiii, 279 p. _bill. _c24 cm. |
||
| 504 | _aIncludes bibliographies | ||
| 650 | 0 | _aComputer programs | |
| 700 | _aMoore, J Strother | ||
| 942 | _cEB | ||
| 999 |
_c7560 _d7560 |
||