Skip to content
Cover of Mechanized reasoning and hardware design

Mechanized reasoning and hardware design

by C. A. R. Hoare

MicroprocessorsComputer-aided designLogic designData processingEconomic conditions
Writing a summary for young readers…

For young readers

Book data: Open Library