The correctness problem in computer science (Record no. 45656)

MARC details
000 -LEADER
fixed length control field 00613 a2200229 4500
003 - CONTROL NUMBER IDENTIFIER
control field ISURu
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0121229203
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number COR
090 ## -
-- 53066
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Boyer. R.S
Relator term Editor
9 (RLIN) 125971
245 ## - TITLE STATEMENT
Title The correctness problem in computer science
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York
Name of publisher, distributor, etc Academic Press
Date of publication, distribution, etc 1981
Date of manufacture 1981
300 ## - PHYSICAL DESCRIPTION
Extent xiii,279 p.
490 ## - SERIES STATEMENT
Series statement International Lecture Series in Computer Science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element computer science
Topical term or geographic name as entry element COMPUTING
9 (RLIN) 121567
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Moore, Strother J.ed
9 (RLIN) 125973
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Reference Books
945 ## - LOCAL PROCESSING INFORMATION (OCLC)
modifier name Main Library ADMIN
modifier borrowernumber 26318
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Full call number Barcode Cost, replacement price Price effective from Koha item type
        Reference Collection Main Library Main Library Reference Section 2006-05-25 1232.98 004 COR 32242 29.50 2006-05-25 Reference Books