Mechanized reasoning and hardware design
By: edited by C.A.R. Hoare and M.J.C. Gordan.
Contributors: Hoare, C. A. R. 1934-; Gordan, Michael J. C., 1948-
Series: Prentice-Hall international series in computer science
Publisher: Prentice Hall
Published: 1992
Place of publication: New York
Language: eng
Number of pages: 151
Subjects: Microprocessors -- Computer-aided design.; Logic design -- Data processing.
Notes: Includes bibliographical references.
"Meeting held at the Royal Scoeity on 3 and 4 October 1991."
"Papers in the book were first published in the Philosophical Transactions of the Royal Society of London, Series A, Volume 339, pp. 1-151, 1992."