000 | 00440nam a2200157Ia 4500 | ||
---|---|---|---|
999 |
_c2165 _d2165 |
||
008 | 161214s9999 xx 000 0 und d | ||
020 |
_a9780387964805 _c(pbk) |
||
082 |
_a001.642 _bGRI |
||
100 | _aGries, David | ||
245 | 0 | _aScience of programming | |
260 |
_aNew York: _bSpringer, _c1981 |
||
300 |
_axv, 366 p.; _b: _c24 cm. |
||
490 | _aTexts and monographs in computer science | ||
650 | _aComputer programming | ||
650 | _aNatural Deduction System | ||
650 | _aBalloon Theory | ||
650 | _aCode of Perm | ||
942 |
_2ddc _cBK |