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

Project Activity

See All Activity >

Categories

Follow Invariants Text

Invariants Text Web Site

Other Useful Business Software

2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
2018 Thomson Reuters Top 100 Global Tech Leaders Icon

See how tech-sector leadership is being redefined in today’s complex business environment.

21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
Who are today’s top global tech leaders?
Read the report

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
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

  • 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.

Read more reviews >

Additional Project Details

Intended Audience

Education

Registered

2011-05-12