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