1.
 |  | Title: Higher Order Logic and Hardware Verification
by T. F. Melham
ISBN: 052141718X
Publisher: Cambridge University Press
Pub. Date: 11 November, 1993
List Price: $60.00
Amazon.com Price: $60.00 |
2.
|  | Title: Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001, Livingston, Scotland, Uk, September 4-7, 2001, Proceedings (Lecture Notes in Computer Science, 2144)
by Charme 200, Tiziana Margaria, T. F. Melham
ISBN: 3540425411
Publisher: Telos Pr
Pub. Date: October, 2001
List Price: $82.95
Amazon.com Price: $82.95 |
3.
|  | Title: Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design: Theory, Pract (Ifip Transactions. A, Computer Science and Technology, A-10)
by Ifip Tc10, Wg10.2 International Conference on Theorem Provers in Circui, R.T. Boute, V. Stavridou, T. F. Melham
ISBN: 0444896864
Publisher: North-Holland
Pub. Date: June, 1992
List Price: $132.00
Amazon.com Price: $132.00 |
4.
|  | Title: Introduction to HOL : A Theorem-Proving Environment for Higher-Order Logic
by M. J. C. Gordon, T. F. Melham
ISBN: 0521441897
Publisher: Cambridge University Press
Pub. Date: 18 March, 1993
List Price: $65.00
Amazon.com Price: $65.00 |
5.
|  | Title: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings (Lecture No)
by T.F. Melham, Juanito Camilleri
ISBN: 0387584501
Publisher: Springer Verlag
Pub. Date: September, 1994
List Price: $71.95
Amazon.com Price: $71.95 |
