Mechanized reasoning and hardware designby C. A. R. HoareMicroprocessorsComputer-aided designLogic designData processingEconomic conditionsWriting a summary for young readers…For young readersBook data: Open Library