Hardcover Book   Paperback Book
Show unavailable items

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

November 26, 1993 – July 2, 2009

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...