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 LIB-O | 005.1 (Browse shelf(Opens below)) | Available | E742C1 | |
Books | University of Information Technology LIB-O | 005.1 (Browse shelf(Opens below)) | Available | E742C2 | |
Books | University of Information Technology LIB-O | 005.1 (Browse shelf(Opens below)) | Available | E742C3 | |
Books | University of Information Technology LIB-O | 005.1 (Browse shelf(Opens below)) | Available | E742C4 | |
Books | University of Information Technology LIB-O | 005.1 (Browse shelf(Opens below)) | Available | E742C5 |