Releases by Melham, T. F. (University of Glasgow)

In stock at iMusic Show unavailable items
Cover for Melham, T. F. (University of Glasgow) · Higher Order Logic and Hardware Verification - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2009)
Paperback Book
Higher Order Logic and Hardware ...
Melham, T. F. (University of Gla...
Cover for Melham, T. F. (University of Glasgow) · Higher Order Logic and Hardware Verification - Cambridge Tracts in Theoretical Computer Science (Hardcover Book) (1993)
Hardcover Book
Higher Order Logic and Hardware ...
Melham, T. F. (University of Gla...