Formal methods in database and software engineering (Record no. 14564)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00551nam a22001457a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 230324b |||||||| |||| 00| 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | National Science Library |
Transcribing agency | National Science Library |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | D 681.3.06(082.2) |
Item number | N3 |
245 ## - TITLE STATEMENT | |
Title | Formal methods in database and software engineering |
Statement of responsibility, etc. | / Proceedings of the workshop on formal methods in database and software Engineering, Montreal, Canada, 15-16 May, 1992 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | New York: |
Name of publisher, distributor, etc. | Springer-Verlag, |
Date of publication, distribution, etc. | 1993 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 191p. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Database |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Universal Decimal Classification |
Koha item type | Proceedings |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Universal Decimal Classification | National Science Library | National Science Library | GF/Rk-4/C-6/R-6 | 04/04/1994 | D 681.3.06(082.2) N3 | 174696 | 24/03/2023 | 04/04/1994 | Proceedings |