Vydania od Melham, T. F. (University of Glasgow)

Na sklade v iMusic Zobraziť nedostupné položky

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