|
|
|
|
| LEADER |
00000cam a22000004a 4500 |
| 001 |
b3108674 |
| 003 |
CoU |
| 008 |
990812s1999 gw a b 001 0 eng |
| 005 |
20240722195011.8 |
| 010 |
|
|
|a 99012500
|
| 020 |
|
|
|a 3540654453 (hc. : alk. paper)
|
| 035 |
|
|
|a (OCoLC)ocm42290202
|
| 040 |
|
|
|a DLC
|c DLC
|d OHX
|d C#P
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a CODI
|
| 050 |
0 |
0 |
|a TK7874.75
|b .K76 1999
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 100 |
1 |
|
|a Kropf, Thomas,
|d 1961-
|0 http://id.loc.gov/authorities/names/n95011592
|1 http://isni.org/isni/000000011043189X.
|
| 245 |
1 |
0 |
|a Introduction to formal hardware verification /
|c Thomas Kropf.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c ©1999.
|
| 300 |
|
|
|a ix, 299 pages :
|b illustrations ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 504 |
|
|
|a Includes bibliographical references (pages [277]-289) and index.
|
| 583 |
1 |
|
|a committed to retain
|c 20240101
|d 20490101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Computer-aided design.
|0 http://id.loc.gov/authorities/subjects/sh2008104741.
|
| 650 |
|
0 |
|a Integrated circuits
|x Verification.
|0 http://id.loc.gov/authorities/subjects/sh93005422.
|
| 907 |
|
|
|a .b31086743
|b 03-19-20
|c 01-21-00
|
| 998 |
|
|
|a eng
|b 02-22-00
|c d
|d m
|e -
|f eng
|g gw
|h 0
|i 2
|
| 907 |
|
|
|a .b31086743
|b 11-23-14
|c 01-21-00
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b31086743
|b 02-08-11
|c 01-21-00
|
| 907 |
|
|
|a .b31086743
|b 02-22-00
|c 01-21-00
|
| 946 |
|
|
|a sm
|
| 948 |
|
|
|a cwd10/11: feb : mw : from eng=c.1
|
| 999 |
f |
f |
|i 8e80e960-ed77-58ea-8a49-c67bc9a4c55b
|s 0369f45e-f216-570e-945f-d7f07e0d1c8d
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e TK7874.75 .K76 1999
|h Library of Congress classification
|i book
|m P204360402011
|n 2
|
