Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formal Specification and Verification Techniques WS 07/08

Contents


News

2008-02-04: Exercise sheet 14 available.
2008-01-25: slides 1 through 386 available.

Misc


Lecture

Exercises


Old News

2008-01-25: Exercise sheet 13 available.
2008-01-21: Exercise sheet 12 available.
2008-01-15: slides 1 through 347 available.
2008-01-15: Exercise sheet 11 available.
2008-01-11: The Friday exercise group has been cancelled.
2008-01-07: Exercise sheet 10 available.
2007-12-21: slides 1 through 320 available.
2007-12-18: Solutions for exercise 25 available.
2007-12-14: Exercise sheet 9 available.
2007-12-14: slides 1 through 287 available.
2007-12-07: Exercise sheet 8 available.
2007-12-06: slides 1 through 257 available.
2007-11-30: Exercise sheet 7 available.
2007-11-29: slides 1 through 203 available.
2007-11-27: Exercise sheet 6 available.
2007-11-19: slides 1 through 157 available.
2007-11-19: Additional material available.
2007-11-19: Exercise sheet 5 available.
2007-11-09: Exercise sheet 4 available.
2007-11-08: slides 1 through 112 available.
2007-11-02: Exercise sheet 3 available.
2007-10-26: Exercise sheets 1 and 2 available.
2007-10-23: slides 1 through 64 available.
2007-10-23: slides 1 through 55 available.
2007-10-23: Registration for the exercise lessons updated
2007-10-23: page changed for current winter semester.
2007/09/28: initial version of this page.

Lectures AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

Last Update: Monday, 04-Feb-08 10:00:57 GMT
strieder@informatik.uni-kl.de

Valid XHTML 1.0!