|
|
|
|
| LEADER |
01634nam a2200301 a 4500 |
| 001 |
c000016986 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
900221s1990 ne a b 10010 eng |
| 019 |
1 |
|
|a 7132514
|5 LACONCORD2021
|
| 020 |
|
|
|a 044488372X (U.S.)
|
| 035 |
|
|
|a (OCoLC)21195264
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a TK7874
|b .I3283 1989
|
| 082 |
0 |
0 |
|a 621.39/5
|2 20
|
| 111 |
2 |
0 |
|a IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
|d (1989 :
|c Houthalen, Belgium)
|
| 245 |
1 |
0 |
|a Formal VLSI specification and synthesis :
|b proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /
|c sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland ;
|a New York, N.Y. :
|b Distributed for the U.S. and Canada, Elsevier Science Pub. Co.,
|c 1990.
|
| 300 |
|
|
|a xv, 414 p. :
|b ill. ;
|c 23 cm.
|
| 440 |
|
0 |
|a VLSI design methods ;
|v 1
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Design and construction
|x Data processing
|x Congresses.
|
| 650 |
|
0 |
|a Computer-aided design
|x Congresses.
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Testing
|x Congresses.
|
| 700 |
1 |
|
|a Claesen, Luc J. M.
|
| 710 |
2 |
0 |
|a Interuniversity Micro-Electronics Center.
|
| 852 |
8 |
|
|b CARM
|h A2:AJ21F0
|i C04642
|p 0190863
|f BK
|
| 999 |
f |
f |
|i 851120fd-8e51-55c5-a512-160e1305c9f7
|s daf2fb2d-86df-5e68-a7db-ea542e872f06
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C04642
|f A2:AJ21F0
|h Other scheme
|i book
|m 0190863
|