000 00427pam a2200133 a 4500
999 _c4824
_d4824
020 _a0716782847
082 0 0 _a004
_bAHO
100 1 _aAho, Alfred V.
245 1 0 _aFoundations of computer science
260 _aNew York
_bComputer Science Press
_c1995
300 _axiii, 786 p.
_b: ill.
_c; 26 cm.
650 0 _aComputer science.
_vComputer program language
_vPredicate logic
_vData modules
_vUsing logic
_vAlgebra
_vFC
942 _cBK