Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen
-
| | | | | IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design |
| | Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design. - Amsterdam , 1990. | | xv, 414 p. : ill. ; 23 cm VLSI design methods 1. | | ISBN 044488372X. | | | | 1. Computer-aided design - Congresses - Very large scale integration - Design and construction - Data processing - Congresses 2. Integrated circuits - Very large scale integration - Design and construction - Data processing - Congresses 3. Integrated circuits - Congresses - Testing - Congresses - Very large scale integration.I. Claesen, Luc J. M II. Interuniversity Micro-Electronics Center. III. Title IV. Series |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 336597 | Withdrawn | | PERPUSTAKAAN KEJURUTERAAN TAR(P3) | BOOK | RAK TERBUKA (OPEN SHELVES) |
|
|
|
