If you are a software developer then this is the #1 choice: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ It will not

If you are a software developer then this is the #1 choice: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ It will not only make you a better software developer (by improving how you think) it will also show you how to prove software correct. And it is fun!