Program construction and verification / (Record no. 298982)

MARC details
000 -LEADER
fixed length control field 00600cam a2200205ua 4500
001 - CONTROL NUMBER
control field 1348
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220105002106.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field ta
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080708s1986 g b000 u eng u
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
Language code of original NULL
082 14 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Item number BAC
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Backhouse, Roland C .
245 10 - TITLE STATEMENT
Title Program construction and verification /
Statement of responsibility, etc. Roland C Backhouse.
Medium Textual Documents
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London :
Name of publisher, distributor, etc. Prentice -Hall International, Inc. ,
Date of publication, distribution, etc. 1986.
300 ## - PHYSICAL DESCRIPTION
Extent NULL ;
Dimensions NULL.
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Program verification
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Coded location qualifier Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        Dept. of Computer Science Dept. of Computer Science Processing Center 12/12/2019 00000   005.14 DCS320 12/12/2019 1 12/12/2019 Book