Formal description of programming concepts--II : (Record no. 314)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01369cam a2200289 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 460195 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-DhUL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140723142058.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140722s1983 ne b 101 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 83000558 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0444866191 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Transcribing agency | DLC |
| Modifying agency | DLC |
| -- | BD-DhUL |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.6 |
| Item number | .I25 1982 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 001.6424 |
| Edition number | 19 |
| Item number | BJF |
| 111 2# - MAIN ENTRY--MEETING NAME | |
| Meeting name or jurisdiction name as entry element | IFIP Working Conference on Formal Description of Programming Concepts |
| Date of meeting | (1982 : |
| Location of meeting | Garmisch-Partenkirchen, 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-Partenkirchen, FRG, 1-4 June 1982 / |
| Statement of responsibility, etc. | edited by Dines Bjørner. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Amsterdam ; |
| -- | New York : |
| Name of publisher, distributor, etc. | North-Holland Pub. Co. ; |
| Place of publication, distribution, etc. | New York, N.Y. : |
| Name of publisher, distributor, etc. | Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |
| Date of publication, distribution, etc. | 1983. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xii, 455 p. ; |
| Dimensions | 23 cm. |
| 500 ## - GENERAL NOTE | |
| General note | "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographies and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer programming |
| General subdivision | Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal languages |
| General subdivision | Congresses. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bjørner, D. |
| Fuller form of name | (Dines), |
| Dates associated with a name | 1937- |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | IFIP Technical Committee 2--Programming. |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ocip |
| f | 19 |
| g | y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Books |
| Price effective from | Date last seen | Permanent Location | Not for loan | Date acquired | Source of classification or shelving scheme | Koha item type | Lost status | Withdrawn status | Source of acquisition | Collection code | Damaged status | Shelving location | Barcode | Current Location | Full call number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2014-07-23 | 2014-07-23 | Dhaka University Science Library | 1985-11-17 | Books | Gift | Non Fiction | General Stacks | A278264 | Dhaka University Science Library | 001.6424 BJF |