Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Formal models in programming (Record no. 470217)

000 -LEADER
fixed length control field 00699 a2200205 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170116115807.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170108b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0444878882
040 ## - CATALOGING SOURCE
Transcribing agency IITK
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
Item number In8f
111 ## - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
Location of meeting Vienna, Austria
Date of meeting 1985
245 1# - TITLE STATEMENT
Title Formal models in programming
Remainder of title proceedings...
Statement of responsibility, etc edited by E. J. Neuhold and G. Chroust
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Amsterdam
Name of publisher North-Holland
Year of publication 1985
300 ## - PHYSICAL DESCRIPTION
Number of Pages xix, 425p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Electronic digital computers -- Programming -- Congresses
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Neuhold, E. J. [ed.]
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Chroust, G. [ed.]
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Accession Number Uniform Resource Identifier Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.642 In8f A94821 Book Request Books

Powered by Koha