| 000 | 00843nam a2200289 4500 | ||
|---|---|---|---|
| 001 | 69327 | ||
| 010 |
_a0-262-19218-7 _bencadernado _dEsc 5 265$ |
||
| 090 | _a69327 | ||
| 100 | _a19910724d1983 k||y0pory50 ba | ||
| 101 | _aeng | ||
| 102 | _aGB | ||
| 200 |
_aAlgorithmic program debugging _fEhud Y. Shapiro |
||
| 210 |
_aEngland, Mass. _cThe MIT Press _dcop. 1983 |
||
| 215 |
_aXVI, 232 p. _d24 cm |
||
| 225 | _aACM distinguished dissertations | ||
| 300 | _aTese apresentada à Faculdade da Escola Superior da Universidade de Yale em 1982 | ||
| 606 |
_916532 _aDebug |
||
| 606 |
_aProlog (Linguagem de programação) _916533 |
||
| 606 |
_916534 _aSíntese de programas |
||
| 680 | _aQA76 | ||
| 686 | _aCIUL-426 | ||
| 700 |
_aShapiro _bEhud Y. _916531 |
||
| 801 |
_aPT _gRPC |
||
| 942 |
_2lcc _cA _n0 |
||