| 000 | 00492nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 190328s9999||||xx |||||||||||||| ||und|| | ||
| 010 | _a78-9321 | ||
| 020 | _a0-471-03395-2 | ||
| 040 |
_aNITIL _cNITIL |
||
| 082 |
_221st _a001.6425 _bA549P |
||
| 100 | _aAnderson, Robert B | ||
| 245 | 0 |
_aProving programs correct _cRobert B Anderson |
|
| 260 |
_aNew York _bJohn Wiley _c1979 |
||
| 300 | _aviii, 184p: ill | ||
| 650 | _aComputer programs-Testing; Debugging in Computer science | ||
| 942 | _cBKS | ||
| 999 |
_c16988 _d16988 |
||