Thomas F. Melham - Böcker

Visar alla böcker från författaren Thomas F. Melham.
2 produkter
T. F. Melham, T. F. (University of Glasgow) Melham, Thomas F. Melham - Higher Order Logic and Hardware Verification, Inbunden
Del 31 - Cambridge Tracts in Theoretical Computer Science

Higher Order Logic and Hardware Verification

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

Inbunden, Engelska, 1993

1 859 kr

Skickas inom 7-10 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

709 kr

Skickas inom 10-15 vardagar