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
|