Call number: 005.133 KRU 1991
2nd ed.
Physical Description: xv, 525 pages : illustrations ; 25 cm
The text emphasizes problem specification and program design; analysis, testing and verification; and program correctness.