000 00589nam a22002297a 4500
005 20220209103136.0
008 220209b |||||||| |||| 00| 0 eng d
020 _a9783642084744
041 _aeng
082 _a005.1 N5548p
100 _aNielson, Flemming
245 _aPrinciples of program analysis
_bwith 56 figures and 51 Tables
260 _aLondon
_bSpringer
_c2005
300 _axxi, 452p.
650 _aComputer programs
650 _aComputer programming
700 _aNielson, Hanne Riis
700 _aHankin, Chris
852 _aREF
942 _cBK
960 _aa
999 _c23003
_d23003