Formal verification of circuits /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Kluwer Academic,
2000.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00950cam a2200277 i 4500 | ||
|---|---|---|---|
| 001 | u39728 | ||
| 003 | SIRSI | ||
| 005 | 20210114113225.0 | ||
| 008 | 110131 eng | ||
| 020 | |a 079237858X | ||
| 050 | |a TK7867 |b .D73 2000 | ||
| 100 | 1 | |a Drechsler, Rolf. , |e author |9 131476 | |
| 245 | 1 | 0 | |a Formal verification of circuits / |c Rolf Drechsler. |
| 264 | 1 | |a Boston : |b Kluwer Academic, |c 2000. | |
| 300 | |a x, 179 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 596 | |a 3 | ||
| 650 | 0 | |a Electronic circuits |x Testing. |9 1311 | |
| 650 | 0 | |a Decision trees. |9 2825 | |
| 942 | |c BOOK_OA | ||
| 997 | |a 59692 | ||
| 998 | |a 1 |b Shafrizan Shafferi | ||
| 999 | |c 94997 |d 94997 | ||
| 952 | |0 0 |1 0 |2 LCC |4 0 |6 TK7867 D73 02000 |7 0 |9 167172 |a PAGOH_LIB |b PAGOH_LIB |c OPENACCS |d 2011-04-15 |g 499.11 |l 0 |o TK7867 .D73 2000 |p 1000066922 |r 2020-12-05 |t 1 |w 2020-12-05 |y BOOK_OA | ||