opac-header

Theory and formal methods 1993 (Record no. 15330)

MARC details
000 -LEADER
fixed length control field 00638nam a22001697a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230327b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3-540-19842-3
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.068(082.2)
Item number N3
245 ## - TITLE STATEMENT
Title Theory and formal methods 1993
Statement of responsibility, etc. / Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London:
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent viii, 325p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Proceedings
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Burn, Geoffrey (Ed.)
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark (Ed.)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Universal Decimal Classification
Koha item type Proceedings
Holdings
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-8/R-5 01/11/1994   D 681.3.068(082.2) N3 175298 27/03/2023 01/11/1994 Proceedings