Principles of program analysis /

Bibliographic Details

Main Author:	Nielson, Flemming, 1955-
Other Authors:	Nielson, Hanne Riis, 1954-, Hankin, Chris
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Subjects:	Computer programming. Computer programs.