Melham, T. F. books & textbook
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Cambridge University Press /2009-07-02 Paperback / 180 Pages
isbn-10: 0521115329 / isbn-13: 9780521115322
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Gordon, M. J. C. Melham, T. F.
Cambridge University Press /1993-06-25 Hardcover / 492 Pages
isbn-10: 0521441897 / isbn-13: 9780521441896
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10)
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands) Melham, T. F. Stavridou, V. Boute, R. T.
North-Holland /1992-01-01 Paperback / 360 Pages
isbn-10: 0444896864 / isbn-13: 9780444896865