Formal verification of hardware design (Record no. 76121)

MARC details
000 -LEADER
fixed length control field 00417nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220709b1990 xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.381952
Item number Y4F
245 ## - TITLE STATEMENT
Title Formal verification of hardware design
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. California
Name of publisher, distributor, etc. IEEE computer society Press
Date of publication, distribution, etc. 1990
300 ## - PHYSICAL DESCRIPTION
Extent ix,326p.
630 ## - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title Hardware Engineering
630 ## - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title Computer Aided Design
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Yoeli, Michael Ed.
982 ## - EQUIVALENCE OR CROSS-REFERENCE-SERIES STATEMENT--CONFERENCE OR MEETING NAME/TITLE [LOCAL, CANADA]
Meeting name or jurisdiction name as entry element ix,326p.
964 ## -
-- English
964 ## -
-- Paper Fo
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 79606
981 ## - EQUIVALENCE OR CROSS-REFERENCE-SERIES STATEMENT--CORPORATE NAME/TITLE [LOCAL, CANADA]
Corporate name or jurisdiction name as entry element California: IEEE computer society Press, 1990.
983 ## - EQUIVALENCE OR CROSS-REFERENCE-SERIES STATEMENT--TITLE/UNIFORM TITLE [LOCAL, CANADA]
Uniform title Formal verification of hardware design
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Copy number Koha item type
        Mahatma Gandhi Central Library Mahatma Gandhi Central Library 19/05/2011   621.381952 Y4F 243930 1 Book

Powered by Koha