Formal models in programming : (Record no. 193460)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01165 a2200229 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Nust |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220802125021.0 |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 85025214 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0444878882 (Elsevier) : |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | Nust |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1,FOR |
| 245 10 - TITLE STATEMENT | |
| Title | Formal models in programming : |
| Remainder of title | proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / |
| Statement of responsibility, etc. | edited by E.J. Neuhold and G. Chroust. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Amsterdam ; |
| -- | New York : |
| Name of publisher, distributor, etc. | North-Holland ; |
| Place of publication, distribution, etc. | New York, N.Y., U.S.A. : |
| Name of publisher, distributor, etc. | Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |
| Date of publication, distribution, etc. | 1985. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xix, 425 p. : |
| Other physical details | ill. ; |
| Dimensions | 23 cm. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | about the architecture of my life (Page-1), Awards of Heinz Zemanek (Page -9), publications by Zemanek (Page-11), Subject areas of publications (Page-27), Invited and submitted papers (Page-31). |
| 600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Zemanek, Heinz. |
| 9 (RLIN) | 96266 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming |
| General subdivision | Congresses. |
| 9 (RLIN) | 96267 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Chroust, Gerhard, |
| Dates associated with a name | 1941- |
| 9 (RLIN) | 96268 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Neuhold, Erich J. |
| 9 (RLIN) | 96269 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | IFIP Technical Committee 2--Programming. |
| 9 (RLIN) | 96270 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Book |
| Source of classification or shelving scheme | |
| Call number prefix | 005.1,FOR |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent Location | Current Location | Shelving location | Date acquired | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 12/12/2016 | 005.1,FOR | MCS776 | 12/08/2016 | 12/12/2016 | Book | Almirah No.3, Shelf No.4 |