Practical for mal Verification in Microprocessor Design (Record no. 778913)

MARC details
000 -LEADER
fixed length control field 00560nab a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s2001 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jones, Robert B
9 (RLIN) 812989
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name O'Leary, John W
9 (RLIN) 831137
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Seger, Carl-Johan H
9 (RLIN) 831138
245 #0 - TITLE STATEMENT
Title Practical for mal Verification in Microprocessor Design
300 ## - PHYSICAL DESCRIPTION
Extent 16-25 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Appropriate Methodology
9 (RLIN) 780260
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Data-Path-Dominated Hardware
9 (RLIN) 831140
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element for mal Methods
9 (RLIN) 787881
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 2001
Title Ieee Design and Test of Computers
International Standard Serial Number 07407475
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Articles
-- 51
-- ABUL KALAM Library
Holdings
Not for loan Home library Serial Enumeration / chronology Total Checkouts Date last seen Koha item type
  Engr Abul Kalam Library Vol.18, No.04 (Jul. 2001)   20/08/2023 Articles