Het college Talen en Automaten, periode 4, 2010/2011.
Het college Programmacorrectheid, periode 3, 2010/2011.
Materiaal bij de cursus Algoritmen en Datastructuren in C, periode 3, 2009/2010.
Some persistent material about the masters' course
Automated Reasoning can be found on
Short introduction to theorem proving with PVS
Model checking with Spin.
Het college Concurrency, verouderd, periode 2, 2008/2009.
Naar het
rooster van Informatica.
Naar mijn start
pagina.
Last modified: Wed Oct 5 17:04:23 CEST 2011
Wim H. Hesselink