Program Verification Using Ada. (Record no. 80)

MARC details
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250610072751.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-521-28531-3
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.6424 McGE
100 ## - MAIN ENTRY--PERSONAL NAME
Author name McGETTRICK, A. D.
245 ## - TITLE STATEMENT
Title Program Verification Using Ada.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York,
Name of publisher, distributor, etc. Press Syndicate,
Date of publication, distribution, etc. 1982.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 345p.: ill.; figure
Other physical details Index & References.
Dimensions 23cm.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Date last seen Total checkouts Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Withdrawn status Home library Current library Shelving location Date acquired Cost, normal purchase price
03/06/2025   001.6424 McG 000000158 30000.00 03/06/2025 Books   Dewey Decimal Classification       College of Business Education Main Library College of Business Education Main Library General Collection 03/06/1985 10000.00