4 results
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
4 results

Your search for T. F. Melham

  1. Cover: Higher Order Logic and Hardware Verification - Cambridge University Press
    T. F. Melham
    Higher Order Logic and Hardware Verification
    07/2009
    Cambridge University Press
    9780521115322 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €54.00
    Shipment within 15-20 days
  2. Cover: Higher Order Logic and Hardware Verification - Cambridge University Press
    T. F. Melham
    Higher Order Logic and Hardware Verification
    11/1993
    Cambridge University Press
    9780521417181 (ISBN)
    Book
    Hardback
    Other editions
    €142.00
    Shipment within 15-20 days
  3. Cover: Introduction to HOL - Cambridge University Press
    M. J. C. Gordon | T. F. Melham
    Introduction to HOL
    A Theorem-Proving Environment for Higher-Order Logic
    03/1993
    Cambridge University Press
    9780521441896 (ISBN)
    Book
    Hardback
    €55.71
    Article not available
  4. This image is currently not available.
    V. Stavridou | T. F. Melham | R.T. Boute
    Theorem Provers in Circuit Design
    Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992
    06/1992
    Elsevier
    9780444896865 (ISBN)
    Book
    Paperback/Softback
    €93.84
    Exhausted; no reprint