Formal methods for VLSI design : IFIP WG 10.5 lecture notes /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
Elsevier Science Publishers B.V.,
1990.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01158pam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | vtls000147103 | ||
| 003 | UPM | ||
| 005 | 20161023125752.0 | ||
| 008 | 921028s1990 ne a 00000 eng | ||
| 020 | |a 0444888586 | ||
| 039 | 9 | |a 200804181051 |b VLOAD |c 200410140948 |d mgr |y 200110271146 |z load | |
| 040 | |c UPM | ||
| 090 | 0 | 0 | |a TK7874 F723 |
| 245 | 0 | 0 | |a Formal methods for VLSI design : |b IFIP WG 10.5 lecture notes / |c edited by Jørgen Staunstrup. |
| 260 | |a Amsterdam : |b Elsevier Science Publishers B.V., |c 1990. | ||
| 300 | |a 329 p. : |b ill. ; |c 24 cm. | ||
| 500 | |a Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990. | ||
| 650 | 0 | |a Integrated circuits |x Very large scale integration |x Design and construction |x Data processing. | |
| 650 | 0 | |a Computer-aided design. | |
| 650 | 0 | |a Integrated circuits |x Very large scale integration |x Testing. | |
| 700 | 1 | |a Staunstrup, J. |q (Jørgen), |d 1952- . | |
| 942 | |2 lcc |c 10000 | ||
| 999 | |c 441046 |d 441046 | ||
| 952 | |0 0 |1 0 |4 0 |6 TK7874 F723 |7 0 |9 591506 |a 10000 |b 10000 |c 10000 |d 2016-10-23 |o TK7874 F723 |p 1000256153 |r 2016-10-23 |t 1 |w 2016-10-23 |y 10000 | ||