Correct hardware design methodologies : proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991 / edited by Paolo Prinetto, Paolo Camurati.
By: Advanced Research Workshop on Correct Hardware Design Methodologies (1991 : Turin, Italy)
Contributor(s): Prinetto, Paolo | Camurati, Paolo | ESPRIT Basic Research Action 3216 "CHARME" | Politecnico di Torino
Publisher: Amsterdam ; North-Holland ; c1992Description: ix, 470 pages : illustrations ; 25 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 0444893679Subject(s): Integrated circuits -- Very large scale integration | Computer software -- Verification -- Congresses | Computer-aided design -- Congresses | Integrated circuits -- Design and construction -- Data processing -- CongressesDDC classification: 621.395 LOC classification: TK7874 | .A3353 1991| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY SUBJECT REFERENCE | 621.395 C824 1992 (Browse shelf) | Available | CL-23689 |
Total holds: 0
"Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."
"Sponsored by Politecnico di Torino."
Includes bibliographical references and index.
There are no comments for this item.