Designing correct circuits
Subtitle: workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
By: Geraint Jones and Mary Sheeran, eds.
Contributors: Jones, Geraint, 1957-; Sheeran, Mary, 1959-; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1991
Place of publication: London; New York
Language: eng
Number of pages: 354
Subjects: Logic circuits -- Data processing -- Congresses.; Electronic circuit design -- Data processing -- Congresses.; Computer-aided design -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."