Designing correct circuits
Subtitle: proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Båstad, Sweden, 2-4 September 1996
By: Mary Sheeran and Satnam Singh (eds).
Contributors: Sheeran, Mary, 1959-; Singh, Satnam, 1966-; British Computer Society.
Series: Electronic workshops in computing
Publisher: Springer
Published: 1996
Place of publication: New York
Language: eng
Subjects: Electronic digital computers -- Circuits -- Design and construction -- Data processing -- Congresses.; Logic circuits -- Design and construction -- Data processing -- Congresses.; Computer-aided design -- Congresses.; Electronic circuit design -- Data processing -- Congresses.
Notes: "Published in collaboration with the British Computer Society."

Abstracts of conference papers.