Formal description of programming concepts--II (Record no. 21928)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01125nam a2200265 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 00462438 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | PWmBRO |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240602100223.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 841127s1983 ne a o1011 eng l |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 001.64 |
| Item number | 2 |
| 090 00 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) | 001.642/I23f/1982 |
| 110 30 - MAIN ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany) |
| 245 10 - TITLE STATEMENT | |
| Title | Formal description of programming concepts--II |
| Remainder of title | proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 |
| Statement of responsibility, etc. | edited by Dines Bjorner |
| 260 00 - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Amsterdam |
| Name of publisher, distributor, etc. | North-Holland Pub. Co. |
| Date of publication, distribution, etc. | 1983 |
| 300 00 - PHYSICAL DESCRIPTION | |
| Extent | xii, 455 p. |
| Dimensions | 23 cm. |
| 500 00 - GENERAL NOTE | |
| General note | "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p |
| 595 00 - | |
| -- | 0444866191 |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal languages |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming |
| 700 10 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bjorner, D. |
| Fuller form of name | (Dines), |
| Dates associated with a name | 1937- |
| 710 20 - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | IFIP Technical Committee 2--Programming. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| 994 ## - | |
| -- | 001030108 85224 0001 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Main Collection | Matheson Library | Matheson Library | Main Collection | 02.06.2024 | 001.642 I23f 1982 | 030108 | 23.03.2018 | 23.03.2018 | Books |