| 000 | 00657nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1980##################000#0#eng## | ||
| 020 | _a898711649 | ||
| 022 | _a79093153 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a005.13 MAN | ||
| 100 | _aManna, Zohar | ||
| 245 |
_aLectures on the logic of computer programming _cZohar Manna |
||
| 260 |
_aPhiladelphia, PA _bSociety for Industrial and Applied Mathematics _c1980 |
||
| 300 | _aiv, 49 p. ; 25 cm. | ||
| 500 | _aBibliography: p. 49 | ||
| 650 | _aComputer programming | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 990 | _af39993d6ac10000c64eee4f643e159ba | ||
| 991 | _a381052 | ||
| 999 |
_c231111 _d231111 |
||