Hardcover Book Paperback Book

In stock at iMusic

Show unavailable items

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

Cover for Melham, T. F. (University of Glasgow) · Higher Order Logic and Hardware Verification - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2009)

Higher Order Logic and Hardware ... (2009)

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)

Higher Order Logic and Hardware ... (1993)

Melham, T. F. (University of Gla...