Software Abstractions : Logic, Language, and Analysis
Publication details: London The MIT Press 2006ISBN:- 0262101149
- 005.1
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | University of Information Technology FIS_Dept | 005.1 (Browse shelf(Opens below)) | Available | E742C1 | |
| Books | University of Information Technology LIB-P | 005.1 (Browse shelf(Opens below)) | Available | E742C2 | |
| Books | University of Information Technology LIB-P | 005.1 (Browse shelf(Opens below)) | Available | E742C3 | |
| Books | University of Information Technology LIB-P | 005.1 (Browse shelf(Opens below)) | Available | E742C4 | |
| Books | University of Information Technology LIB-P | 005.1 (Browse shelf(Opens below)) | Available | E742C5 |
