Designing correct circuits
Subtitle: proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Bå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: 1997
Place of publication: London; 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
Genres: Congresses.
Notes: "Published in collaboration with the British Computer Society."

Abstracts of conference papers.