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

Program construction and verification (Record no. 301854)

000 -LEADER
fixed length control field 00591pam a2200193a 44500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1986 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.642
Item number B127p
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Backhouse, Roland C.
245 1# - TITLE STATEMENT
Title Program construction and verification
Statement of responsibility, etc Roland C. Backhouse
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Englewood Cliffs, New Jersey
Name of publisher Prentice-Hall
Year of publication 1986
300 ## - PHYSICAL DESCRIPTION
Number of Pages xi, 281p
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Prentice-Hall International Series In Computer Science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Electronic Digital Computer -- Programming
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Programs
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 Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.642 B127p A96905 Books

Powered by Koha