Thomas F. Melham - Böcker
Visar alla böcker från författaren Thomas F. Melham.
2 produkter
2 produkter
Del 31 - Cambridge Tracts in Theoretical Computer Science
Higher Order Logic and Hardware Verification
Inbunden, Engelska, 1993
1 859 kr
Skickas inom 7-10 vardagar
Del 859 - Lecture Notes in Computer Science
Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar