Formal methods in circuit design /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Cambridge,
c1993.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a22000002a 4500 | ||
|---|---|---|---|
| 001 | 0000007347 | ||
| 003 | DAYSTAR | ||
| 005 | 20171002014452.0 | ||
| 008 | 030703s1993 nyu 001 0 eng d | ||
| 020 | |a 0521443369 | ||
| 040 | |a Daystar | ||
| 040 | |d COnyango | ||
| 050 | 0 | 0 | |a TK7888.4 |b .S73 |
| 100 | 1 | |a Stavridou, V. | |
| 245 | 1 | 0 | |a Formal methods in circuit design / |c V. Stavridou. |
| 260 | |a New York : |b Cambridge, |c c1993. | ||
| 300 | |a 193 p. | ||
| 650 | 0 | |a Electronic digital computers |x Circuits. | |
| 650 | 0 | |a Engineering design |x computer programs. | |
| 908 | |a 060412 | ||
| 942 | |c G | ||
| 952 | |0 4 |1 0 |4 0 |6 TK78884 S73 |7 0 |9 2746 |a DUN |b DUN |c STORE |d 2017-09-28 |l 0 |o TK7888.4.S73 |p BK040136 |r 2017-09-28 00:00:00 |t c.1 |w 2017-09-28 |x 32870 |y G | ||
| 999 | |c 1742 |d 1742 | ||