Books Reading

This is a collection of links to the reading notes of some books on this website.

Book Shelf

Books Reading Notes

  • Book Shelf
  • Math.FM. “Software Foundations, Volumn 1 - 4”. By Benjamin C. Pierce, et al. 2019. html video/lectures by Pierece, UPenn, by Clarkson, Cornell, by Xiong, Peking U “Logical Foundations for Computing Science”. By Shen Enshao. 2006. “Logic for Computer Science.” By Steve Reeves and Mike Clarke. 2003. “Rigorous Software Development: An Introduction to Program Verification”. By Almeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto,

  • Formal Methods
  • Books: EDA for IC design, verification, and testing Mechanizing Proof: Computing, Risk, and Trust, by MacKenzie 2001. More

Created Jul 14, 2021 // Last Updated Nov 11, 2022

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?