Program construction : calculating implementations from specifications/ by Roland Backhouse.
Material type: TextPublication details: New Delhi : Wiley Dreamtech ; 2004cDescription: vi, 340 p. : ill. ; 24 cmISBN: 8126504889 (pbk)DDC classification: 005.1Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.1 BAC-P 2004 2491 (Browse shelf (Opens below)) | Available | 0002491 |
Total holds: 0
Index included.
There are no comments on this title.