High integrity Ada:the SPARK approach John Barnes
Material type:
- 0201175177
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Open Shelf | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | Book | QA76.73. A35 B26 1997 (Browse shelf(Opens below)) | CD 586 | Available | 0000029279 | |
Open Shelf | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | Book | QA76.73. A35 B26 1997 (Browse shelf(Opens below)) | CD 587 | Available | 0000029280 | |
Open Shelf | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | Book | QA76.73. A35 B26 1997 (Browse shelf(Opens below)) | CD 588 | Available | 0000029281 |
include index
There are no comments on this title.