000 00669nam a22002297a 4500
003 SNU
005 20140730175916.0
008 140730b xxu||||| |||| 00| 0 eng d
020 _a9783540654100
028 _aHCL
082 _a005.1 NIE
100 _aNielson, Flemming, 1955-
_aHankin, Chris
_aNielson, Hanne
245 _aPrinciples of program analysis
_c/ Flemming Nielson
260 _aBerlin ; New York
_bSpringer
_c1999
300 _axxi, 450 p.
_b: ill.
_c24 cm.
655 _aChris Hankin
655 _aHanne Riis Nielson
655 _aFlemming Nielson
655 _aPrinciples of program analysis
655 _aComputer programming.
942 _2ddc
_cHCL
999 _c21577
_d21577