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: