PROVING PROGRAMMS CORRECT
By: Anderson, Robert Brockett.
Material type:
BookPublisher: New York John Wiley 1979Description: viii,184.Subject(s): Computer Programs -- Testing | Debugging In Computer ScienceDDC classification: 001.6425 | An24p
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Written-off | PK Kelkar Library, IIT Kanpur | Written-of | 001.6425 An24p (Browse shelf) | Not for loan | A61530 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves Close shelf browser
| 001.6425 AH68C A | 001.6425 Ah68c COMPILERS | 001.6425 An14 Proving programs correct | 001.6425 An24p PROVING PROGRAMMS CORRECT | 001.6425 Ar42u UNIX C SHELL | 001.6425 B667u UNIX SYSTEM | 001.6425 B667us UNIX SYSTEM V ENVIRONMENT |
Bibliography : P. 170-182
There are no comments for this item.