👤

T. F. Melham

3 books

Books by T. F. Melham

Higher Order Logic Theorem Pro
Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994
1994
Higher order logic and hardware verification
Higher order logic and hardware verification
1993
Introduction to HOL
Introduction to HOL
1993