Invariants Text

Open-source version of 2008 textbook "Invariants: a Generative Approach to Programming"

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Invariants Text

Invariants Text Web Site

Other Useful Business Software

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

dtopham Posted 2012-08-07

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.

Additional Project Details

Intended Audience

Education

Registered

2011-05-12

Report inappropriate content