| 000 | 00877cam a2200265 i 4500 | ||
|---|---|---|---|
| 001 | u39728 | ||
| 003 | SIRSI | ||
| 005 | 20240619145057.0 | ||
| 008 | 110131 eng | ||
| 020 | _a079237858X | ||
| 050 |
_aTK7867 _b.D73 2000 |
||
| 100 | 1 |
_aDrechsler, Rolf. , _eauthor _9131476 |
|
| 245 | 1 | 0 |
_aFormal verification of circuits / _cRolf Drechsler. |
| 264 | 1 |
_aBoston : _bKluwer Academic, _c2000. |
|
| 300 |
_ax, 179 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 596 | _a3 | ||
| 650 | 0 |
_aElectronic circuits _xTesting. _91311 |
|
| 650 | 0 |
_aDecision trees. _92825 |
|
| 907 |
_a.b10120968 _b07-11-22 _c15-03-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c7134 _d7134 |
||