High integrity Ada:the SPARK approach (Record no. 131362)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00523cam a2200169 4500 |
| 001 - CONTROL NUMBER | |
| control field | 0000013033 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231118s9999 xx 000 0 und d |
| 020 00 - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0201175177 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | PJB |
| 090 0# - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | QA76.73. |
| Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) | A35 B26 1997 |
| 100 00 - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Barnes, John |
| 245 00 - TITLE STATEMENT | |
| Title | High integrity Ada:the SPARK approach |
| Statement of responsibility, etc. | John Barnes |
| 260 00 - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Harlow |
| Name of publisher, distributor, etc. | Addison-Wesley |
| Date of publication, distribution, etc. | 1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xvi, 368p. : |
| Other physical details | ill. |
| Dimensions | 24cm. + 1 computer laser optical dics (4 3/4in.) |
| 500 00 - GENERAL NOTE | |
| General note | include index |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Ada (Computer program language) |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection | Home library | Current library | Date acquired | Serial Enumeration / chronology | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Book | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | 30/01/2012 | CD 586 | QA76.73. A35 B26 1997 | 0000029279 | 18/11/2023 | 18/11/2023 | Open Shelf | |||||
| Book | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | 30/01/2012 | CD 587 | QA76.73. A35 B26 1997 | 0000029280 | 18/11/2023 | 18/11/2023 | Open Shelf | |||||
| Book | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN | 30/01/2012 | CD 588 | QA76.73. A35 B26 1997 | 0000029281 | 18/11/2023 | 18/11/2023 | Open Shelf |