Applied formal verification (Record no. 172813)

MARC details
000 -LEADER
fixed length control field 00914cam a22002774a 4500
001 - CONTROL NUMBER
control field 0000046571
003 - CONTROL NUMBER IDENTIFIER
control field 0001
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050415s2005 nyua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 007144372X (alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency C#P
042 ## - AUTHENTICATION CODE
Authentication code pcc
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 621.3815
Item number PER-A
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Perry, Douglas L.
245 10 - TITLE STATEMENT
Title Applied formal verification
Medium [Book] /
Statement of responsibility, etc. Douglas L. Perry, Harry D. Foster.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. McGraw-Hill,
Date of publication, distribution, etc. c2005.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 237 p. :
Other physical details ill. ;
Dimensions 24 cm.
365 ## - TRADE PRICE
Price type code 01
Price amount 5,048.64
490 1# - SERIES STATEMENT
Series statement Electronic engineering.
500 ## - GENERAL NOTE
General note Index includes
521 ## - TARGET AUDIENCE NOTE
Target audience note All.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated circuits
General subdivision Verification.
Topical term or geographic name entry element Electronic circuits
General subdivision Testing.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Foster, Harry,
Dates associated with a name 1956-
852 ## - LOCATION
Accession No. 28321
-- 5048.64
-- New Public Books Pvt. Ltd.
Former shelving location Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Junaid Zaidi Library, COMSATS University Islamabad Junaid Zaidi Library, COMSATS University Islamabad Ground Floor 09/18/2023   621.3815 PER-A 28321 09/18/2023 09/18/2023 Books