Thomas F. Melham - Böcker

Visar alla böcker från författaren Thomas F. Melham.
2 produkter
T. F. (University of Glasgow) Melham, T. F. Melham, Thomas F. Melham - Higher Order Logic and Hardware Verification, Inbunden

Higher Order Logic and Hardware Verification

Av T. F. (University of Glasgow) Melham, T. F. Melham, Thomas F. Melham

Inbunden, Engelska, 1993

2 259 kr

Skickas inom 5-8 vardagar
Thomas F. Melham, Juanito Camilleri - Higher Order Logic Theorem Proving and Its Applications, Häftad
Del 859 - Lecture Notes in Computer Science

Higher Order Logic Theorem Proving and Its Applications

Av Thomas F. Melham, Juanito Camilleri

Häftad, Engelska, 1994

719 kr

Skickas inom 7-10 vardagar