Designing correct circuits
Subtitle: proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
By: edited by Jørgen Staunstrup, Robin Sharp.
Contributors: Staunstrup, J. 1952-; Sharp, Robin, 1942-
Series: IFIP transactions.; A-5
Publisher: North-Holland; Elsevier Science Pub. Co. [distributor]
Published: 1992
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 287
Subjects: Electronic digital computers -- Circuits -- Computer-aided design -- Congresses.; Electronic circuit design -- Data processing -- Congresses.
Genres: Congresses.