Showing 1 - 2 results of 2 for search 'Melham, T. F. (Tom F.)' Refine Results
  1. 1
    Higher order logic and hardware verification / T. Melham.
    by Melham, T. F. (Tom F.)
    Published 1993
    Book
    Save to List
    Saved in:
  2. 2
    Introduction to HOL : a theorem proving environment for higher order logic / edited by M.J.C. Gordon and T.F. Melham.
    Published 1993
    Other Authors: '; “...Melham, T. F. (Tom F.)...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search