Tom with puzzle

NMA - National School Student Academy, Lithuania
CS Lectures at Summer Sessions

A N N O U N C E M E N T S
None

Ideas for next sessions:

Summer Session 2015: Doing Everything with the The Wolfram Language

Summer Session 2012: Model-Driven Software Engineering

Summer Session 2010: Foundations of Informatics

For material, see Honors Class Foundations of Informatics

Summer Session 2008: Software Engineering

N.B. The lectures were partly given interactively on a black/whiteboard; most of the slides were never projected; they serve as a reminder/summary of the material covered. The 1-up versions include hyperlinks to external sources.

Summer Session 2006: Constructive Programming

The lectures were given interactively on a blackboard; most of the slides were never projected; they serve as a reminder/summary of the material covered.

A recent book covering this topic is:

Derrick G. Kourie, Bruce W. Watson.
The Correctness-by-Construction Approach to Programming.
Springer, 2012.


©2012, Tom Verhoeff (TUE)
Feedback about this page is welcome