000 00671nam a2200229 4500
001 00483761
003 PWmBRO
005 20240602100303.0
008 850913s1984 enk o0011 eng u
082 0 0 _a001.64
_b2
_b018
_z19
090 0 0 _b001.642
_b018/H464L
100 1 0 _aHehner, Eric C. R.
245 1 4 _aThe logic of programming
_cEric C.R. Hehner
260 0 0 _aEnglewood Cliffs
_aLondon
_bPrentice-Hall
_cc1984
300 0 0 _a361 p.
_c24cm
490 0 0 _aPrentice-Hall international series in computer science
595 0 0 _a0135399661
650 0 0 _aComputer programming
942 _2ddc
994 _a001031744 86015 0000
999 _c23084
_d23084