Program construction and verification
By: Backhouse, Roland C.
Material type:
BookPublisher: Englewood: Prentice Hall, 1986Description: xi, 281 p.; ill.: 24 cm.ISBN: 0137291469 .Subject(s): Computer programming | Computer systems Programs Construction & verification | Electronic digital computers -- ProgrammingDDC classification: 005
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | DAU | 005 BAC (Browse shelf) | Available | 030664 |
There are no comments for this item.