The spine of software : designing probably correct software: theory and practice or a mathematical introduction to the Semantics of computer programs Robert Laurence Baber. [Books].
Material type:
TextPublication details: New York John Wiley & Sons Ltd 1987 Description: Pages: 316ISBN: 0471914746Subject(s): Computer software -- Development | Electronic digital computers -- ProgrammingDDC classification: QA/76.76.D47
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Collection
|
Universiti Teknologi Brunei Library | QA/76.76.D47 BAB (Browse shelf(Opens below)) | Available | Z26271 | |
General Collection
|
Universiti Teknologi Brunei Library | QA/76.76.D47 BAB (Browse shelf(Opens below)) | Available | 804866 |
General Collection
There are no comments on this title.