ISBN 9783540196594 books & textbook
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford (Workshops in Computing)
Springer /1991-04-30 Spiral-bound / 363 Pages
isbn-10: 3540196595 / isbn-13: 9783540196594