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

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

Inbunden, Engelska, 1993

1 819 kr

Skickas inom 10-15 vardagar

Higher Order Logic Theorem Proving and Its Applications

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

AvThomas F. Melham,Juanito Camilleri

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar