Proving programs correct / Robert B. Anderson.
Material type:
TextPublication details: New York : Wiley, c1979Description: viii, 184 p. : ill. ; 23 cmISBN: 0471033952Subject(s): Computer programs -- Testing | Debugging in computer scienceDDC classification: 001.6/425 LOC classification: QA76.6 | .A47
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
OS Book
|
CUZ Harare Campus Open Shelf | QA 76.6 A47 (Browse shelf(Opens below)) | CU5928 | Available | BK0005472 |
Total holds: 0
Includes index.
Bibliography: p. 170-182.
There are no comments on this title.