|
|
|
|
| LEADER |
01150cam a22003014a 4500 |
| 005 |
20130713153401.0 |
| 008 |
040517s2004 maua 001 0 eng |
| 010 |
|
|
|a 2004051567
|
| 020 |
|
|
|a 1402080239
|
| 020 |
|
|
|a 1402080247 (ebook)
|
| 040 |
|
|
|a DLC
|c DLC
|d HR-ZaFER
|b hrv
|e ppiak
|
| 042 |
|
|
|a pcc
|
| 050 |
0 |
0 |
|a TK7885.7
|b .I43 2004
|
| 082 |
0 |
0 |
|a 621.39/2
|2 22
|
| 100 |
1 |
|
|a Iman, Sasan.
|
| 245 |
1 |
4 |
|a The E hardware verification language /
|c Sasan Iman, Sunita Joshi.
|
| 260 |
|
|
|a Boston :
|b Kluwer Academic Publishers,
|c c2004.
|
| 300 |
|
|
|a xv, 349 p. :
|b ill. ;
|c 25 cm.
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Computer hardware description languages.
|
| 650 |
|
0 |
|a Integrated circuits
|x Verification.
|
| 650 |
|
0 |
|a Computers
|x Circuits
|x Testing.
|
| 700 |
1 |
|
|a Joshi, Sunita.
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0813/2004051567-d.html
|
| 906 |
|
|
|a 7
|b cbc
|c orignew
|d 1
|e ocip
|f 20
|g y-gencatlg
|
| 942 |
|
|
|2 udc
|c K
|
| 955 |
|
|
|a pc25 2004-05-17 RUSH to SSCD
|i jg12 2004-05-18
|a aa20 2004-05-20
|a ps15 2004-07-23 1 copy rec'd., to CIP ver.
|a jg00 2004-07-30;
|a jf16 2005-02-18 copy2 to BCCD
|
| 999 |
|
|
|c 34452
|d 34452
|
