Proving programs correct / Robert B. Anderson.
Publisher: New York : Wiley, c1979Description: viii, 184 p. : ill. ; 23 cmISBN: 0471033952Subject(s): Computer programs -- Testing | Debugging in computer scienceDDC classification: 005.14,AND
Contents:
Mathematical Induction (Page-1), Proving the Correctness of Flowchart Programs (Page-21), Proving the Correctness of Programs Written in a Standard Programming Language (Page-91), Proving the Correctness of Recursive Programs (Page-120), Current Research Related to Proving Program Correctness (Page-164).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.14,AND (Browse shelf) | Link to resource | Available | Almirah No.5, Shelf No.4 | MCS3394 |
Total holds: 0
Mathematical Induction (Page-1), Proving the Correctness of Flowchart Programs (Page-21), Proving the Correctness of Programs Written in a Standard Programming Language (Page-91), Proving the Correctness of Recursive Programs (Page-120), Current Research Related to Proving Program Correctness (Page-164).
Click on an image to view it in the image viewer
There are no comments on this title.