Open-source version of 2008 textbook "Invariants: a Generative Approach to Programming"
License
GNU General Public License version 2.0 (GPLv2)Follow Invariants Text
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
-
This is a great book! I find it the most readable of the books aiming to explain invariants and how they can be used to develop correct loops. I hope this helps to make invariants more accessible to programmers. Thank you for making it available.