BooksPrice.com

book price comparison

Melham, T. F. books & textbook

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Melham, T. F.  

Cambridge University Press /2009-07-02 Paperback / 180 Pages
isbn-10: 0521115329 / isbn-13: 9780521115322
   

compare price



Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Gordon, M. J. C.  Melham, T. F.  

Cambridge University Press /1993-06-25 Hardcover / 492 Pages
isbn-10: 0521441897 / isbn-13: 9780521441896
   

compare price



Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10)

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands)  Melham, T. F.  Stavridou, V.  Boute, R. T.  

North-Holland /1992-01-01 Paperback / 360 Pages
isbn-10: 0444896864 / isbn-13: 9780444896865
   

compare price