Foundation of program verification / (Record no. 298593)

MARC details
000 -LEADER
fixed length control field 00549cam a2200193ua 4500
001 - CONTROL NUMBER
control field 959
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220105002045.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field ta
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080627s1983 g b000 u u
082 14 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Item number LOE
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Loeckx, Jacques .
245 10 - TITLE STATEMENT
Title Foundation of program verification /
Statement of responsibility, etc. Jacques Loeckx.
Medium Textual Documents
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Jersey :
Name of publisher, distributor, etc. John Wiley & Sons ,
Date of publication, distribution, etc. 1983.
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 DCS327 12/12/2019 1 12/12/2019 Book