Thomas F. Melham - Böcker

Visar alla böcker från författaren Thomas F. Melham.

2 produkter

Kategorier

2 produkter

Del 31

Del 31 - Cambridge Tracts in Theoretical Computer Science

Higher Order Logic and Hardware Verification

Av T. F. Melham, T. F. (University of Glasgow) Melham m. fl

Inbunden, Engelska, 1993

1 879 kr

Skickas inom 10-15 vardagar

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Av Thomas F. Melham, Juanito Camilleri

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar