| 000 | 00420nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 220718s1980||||xx |||||||||||||| ||und|| | ||
| 020 | _a0-89871-164-9 | ||
| 082 |
_a18 _bMANN |
||
| 100 | 1 | _aManna, Z | |
| 245 | 1 |
_aLectures on the logic of computer programming _cZ. Manna |
|
| 260 |
_aPhiladelphia _bSIAM _c1980 |
||
| 300 |
_aiv _e49 |
||
| 490 | _aCBMS-NSF regional conference series in applied mathematic 31 | ||
| 942 | _cBK | ||
| 999 |
_c19834 _d19834 |
||