Designing Correct Circuits
Subtitle: Workshop Jointly Organised by the Universities of Oxford and Glasgow 26-28 September 1990, Oxford (Workshops in Computin)
Contributors: Mary Sheeran (Editor)
Publisher: Springer
Published: July 1991
Number of pages: 355
ISBN-13: 9780387196596