Home / Authors / T. F. Melham

Books by T. F. Melham

All books by this author

2 books found
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Higher Order Logic and Hardware Verification (Cambridge Tra…
By: T. F. Melham
View Details
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Higher Order Logic and Hardware Verification (Cambridge Tra…
By: T. F. Melham
View Details