| 000 | 00476pam a2200169a 44500 | ||
|---|---|---|---|
| 008 | 160408b1979 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.6425 _bAn24p |
||
| 100 | _aAnderson, Robert Brockett | ||
| 245 | 1 | _aPROVING PROGRAMMS CORRECT | |
| 260 |
_aNew York _bJohn Wiley _c1979 |
||
| 300 | _aviii,184 | ||
| 500 | _aBibliography : P. 170-182 | ||
| 650 | _aComputer Programs -- Testing | ||
| 650 | _aDebugging In Computer Science | ||
| 964 | _gCIRC | ||
| 997 | _aA61530 C | ||
| 999 |
_c278587 _d278587 |
||