| | Books 1 - 4 of 4 | Previous | Next | 
|  | | Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
by M. J. C. Gordon (Editor), T. F. Melham (Editor)
Hardcover, 492 Pages, Published 1993 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract (Ifip ... a, Computer Science and Technology, a-10)
by IFIP TC10, Practice, and Experience (1992 : Nijmegen, Netherlands) WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, T. F. Melham, V. Stavridou, R. T. Boute (Editor)
Paperback, 360 Pages, Published 1992 by North-Holland
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
by T. F. Melham
Hardcover, 179 Pages, Published 1993 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)
by T. F. Melham, Juanito Camilleri (Editor)
Hardcover, Published 1994 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 4 of 4 | Previous | Next |
|