Program construction and verification / Roland C. Backhouse.
Material type:
TextPublisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1986Description: xi, 281 p. : ill. ; 24 cmISBN: 0137291531 :; 0137291469 (pbk.)Subject(s): Computer programming. -- MISDDC classification: 005 BAC
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Book
|
Pakistan Navy Engineering College (PNEC) | Pakistan Navy Engineering College (PNEC) | 005 BAC (Browse shelf) | Available | PNECLIB-013832 |
Total holds: 0
Includes index.
Bibliography: p. 220-223.
There are no comments on this title.