000 00520nam a2200181Ia 4500
999 _c11379
_d11379
003 OSt
005 20231010024956.0
008 131108 000 0 eng d
020 _a9783540654100
040 _cunimy
_beng
050 0 0 _aQA76.6
_b.N537 2005
100 1 _aNielson, Flemming, d
245 0 _aPrinciples of program analysis
_cF. Nielson, Hanne Riis Nielson, Chris Hankin.
260 _aBerlin ; New York
_bSpringer, c
300 _axxi, 450 p.
_c24 cm.
650 0 _aSoftware
_xAnlyze
942 _cBK
_2lcc