Innbunden bok Pocketbok
Vis utilgjengelige utgivelser

Releases med 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 (Pocketbok) (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 (Innbunden bok) (1993)

Higher Order Logic and Hardware ... (1993)

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