Formal methods of program verification and specification (Record no. 138977)

MARC details
000 -LEADER
fixed length control field 00744nam a22002657a 4500
003 - CONTROL NUMBER IDENTIFIER
control field ISURu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 151117b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0133288072
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.453
Item number BER
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Berg, H.K
9 (RLIN) 196511
245 ## - TITLE STATEMENT
Title Formal methods of program verification and specification
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New Jersey
Name of publisher, distributor, etc Prentice-Hall
Date of publication, distribution, etc 1982
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 207 p.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTATION
9 (RLIN) 64143
Topical term or geographic name as entry element PARALLEL PROGRAMMES
9 (RLIN) 196512
Topical term or geographic name as entry element PROOFS
9 (RLIN) 196513
Topical term or geographic name as entry element VERIFICATION METHODS
9 (RLIN) 196514
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Boebert, W.E
9 (RLIN) 196515
Personal name Franta, W.R
9 (RLIN) 196516
Personal name Moher, T.G
9 (RLIN) 196517
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Lending Books
945 ## - LOCAL PROCESSING INFORMATION (OCLC)
modifier name Main Library ADMIN
modifier borrowernumber 26318
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Lending Collection Engineering Library Engineering Library Lending Section 2015-11-17 110.50 004.453 BER 213932 2015-11-17 2015-11-17 Lending Books