Mechanized reasoning and hardware design /

Bibliographic Details
Other Authors:	Hoare, C. A. R. (Charles Antony Richard), 1934-, Gordan, M. J. C.
Format:	Book
Language:	English
Published:	New York : Prentice Hall, 1992.
Series:	Prentice-Hall international series in computer science.
Subjects:	Microprocessors > Design and construction > Data processing. Logic design > Data processing.

Remote Storage