Formal description techniques, VII (Record no. 16460)

000 -LEADER
fixed length control field 00787nam a2200217Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20201208114139.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180712s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 412644509
041 ## - LANGUAGE
Language of text/sound track English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.62
Author Mark INT
DDC Edition number 23
111 ## - MAIN ENTRY--MEETING NAME
9 (RLIN) 109352
Meeting name or jurisdiction name as entry element International Conference on Formal Description Techniques (7th: Montreal: Canada)
245 ## - TITLE STATEMENT
Title Formal description techniques, VII
Statement of responsibility, etc. / Montreal, 1995; edited by Dieter Hogrefe, Stefan Leue
Remainder of title : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London
Name of publisher, distributor, etc. Chapman & hall
Date of publication, distribution, etc. 1995
300 ## - PHYSICAL DESCRIPTION
Extent x, 520 p.
500 ## - GENERAL NOTE
General note includes index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal languages
700 ## - ADDED ENTRY--PERSONAL NAME
9 (RLIN) 99926
Personal name Hogrefe, Dieter.ed.
Role Editor
700 ## - ADDED ENTRY--PERSONAL NAME
9 (RLIN) 99927
Personal name Leue, Stefan. ed.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books in Stacks (S)
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Price Full call number Accession Number Date last seen item type
        Engineering Library Engineering Library Science & Technology 2018-07-13 Not Known 0.00 004.62 INT 257577 2018-07-13 Books in Stacks (S)
© University of Jaffna