Normal view MARC view ISBD view

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. - ix, 470 pages : illustrations ; 25 cm.

"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.

ISBN: 0444893679

LCCN: 91046090

Subjects--Topical Terms:
Integrated circuits--Very large scale integration
Computer software--Verification--Congresses.
Computer-aided design--Congresses.
Integrated circuits--Design and construction--Data processing--Congresses

LC Class. No.: TK7874 / .A3353 1991

Dewey Class. No.: 621.395