| Shelfclass_id | 4.B.3 |
| Sortkey | ANDERSON, ROBERT BROCKETT |
| Authors | Robert Brockett Anderson |
| Title | Proving Programs Correct |
| Publisher | Wiley |
| Year | c1979 |
| Languages | eng |
| Isbn | 0471033952 |
| Description | viii, 184 p. ill. 23 cm. |
| Record date | 20080922 |
| Location | New York |
| Keywords | Computer programs, Debugging in computer science |
| Notes | Includes index. |