Search - List of Books by T. F. Melham

Total Books: 4
Higher Order Logic and Hardware Verification
2009 - Higher Order Logic and Hardware Verification [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521115322
ISBN-10: 0521115329
  ?

Higher Order Logic and Hardware Verification
1993 - Higher Order Logic and Hardware Verification [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521417181
ISBN-10: 052141718X
Genres: Computers & Technology, Substores
  ?