| 008 |
|
031222s2004 xxua b 001 0 eng d |
| 020 |
|
|a1402077254 : |cNT
|
| 040 |
|
|aTMUE|beng|cTMUE|dTMUE
|
| 050 |
14
|
|aTK7868.D5|bM617 2004
|
| 082 |
04
|
|a621.3815/48|222
|
| 100 |
1
|
|aMolitorPaul
|
| 245 |
10
|
|aEquivalence checking of digital circuits : |bfundamentals, principles, methods / |cPaul Molitor and Janett Mohnke
|
| 260 |
|
|aBoston : |bKluwer Academic Publishers, |c2004
|
| 300 |
|
|axiii, 262 p : |bill ; |c25 cm
|
| 504 |
|
|aIncludes bibliographical references and index
|
| 650 |
0
|
|aDigital electronics|xTesting
|
| 700 |
1
|
|aMohnke Janett
|