Mechanized reasoning and hardware design /

Bibliographic Details
Other Authors: Hoare, Charles Antony Richard, 1934- (ed.), Gordon, Michael J. C., 1948- (ed.,)
Format: Book
Language:English
Published: New York : Prentice-Hall, 1992.
Series:Prentice-Hall international series in computer science
Subjects:
Description
Physical Description:151 p. : il. ; 25 cm.
Bibliography: Includes bibliographical references.
ISBN:0135724058