Normal view
MARC view
- Integrated circuits- Verification.
Entry Topical Term
001 - CONTROL NUMBER
- control field: 7640
003 - CONTROL NUMBER IDENTIFIER
- control field: BD-DhSEU
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20151125132705.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 151125|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: BD-DhSEU
- Transcribing agency: BD-DhSEU
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Integrated circuits- Verification.
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (BD-DhSEU)0: Perry, Douglas L. 7639, Applied formal verification /, c2005.