TY  - BOOK
AU  - Nielson, Flemming
AU  - Nielson, Hanne Riis
TI  - Principles of program analysis
SN  - 3540654100
U1  - 005.12 
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - Computer Programming ( Electronic Computer )
N1  - With 56 Figures And 51 Tables
ER  -