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

Proving programs correct (Record no. 276479)

MARC details
000 -LEADER
fixed length control field 00517pam a2200193a 44500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1973 xxu||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Transcribing agency IIT Kanpur
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.6425
Item number An14
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Ananda, A. L.
245 1# - TITLE STATEMENT
Title Proving programs correct
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Kanpur
Name of publisher I. I. T.
Year of publication 1973
300 ## - PHYSICAL DESCRIPTION
Number of Pages 177
500 ## - GENERAL NOTE
General note Thesis (M.Tech.) -- I. I. T., Kanpur
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Cool (Computer Program Language)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Languages (Electronic Computers)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Full call number Accession Number Koha item type
          PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 12/08/2007 001.6425 An14 A73539 Written-off

Powered by Koha