Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-7 of 7 results for author "Melham, T. F. (Tom F.)"
Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1012 Offsite Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-339 Offsite 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 / Tiziana Margaria, Tom Melham (eds.)
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1746 Offsite Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992 / edited by V. Stavridou, T.F. Melham, R.T. Boute.
- Text
- Amsterdam ; New York : North-Holland, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I3278 1992 Off-site Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 H54 1994 Off-site 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 / Tiziana Margaria, Tom Melham (eds.)
- Text
- Berlin ; New York : Springer, [2001], ©2001.
- 2001-2001
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text TK7874.75 .C453 2001 Off-site Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.).
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96H54 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
