The SECD Microprocessor: A Verification Case Study (The Springer International Series in Engineering and Computer Science, 178)
Full Title: | The SECD Microprocessor: A Verification Case Study (The Springer International Series in Engineering and Computer Science, 178) |
---|---|
ISBN: | 0792392450 |
ISBN13: | 9780792392453 |
Authors: |
Graham, Brian T. |