Principles of program analysis - Nielson, Flemming; Nielson, Hanne Riis (Berlin Springer, 1999)
With 56 Figures And 51 Tables
Keywords: Computer Programming ( Electronic Computer )