Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formal Specification and Verification Techniques WS 08/09

Contents


News

2009-01-29: Exercise sheet 14.
2008-11-20: Slides 1-258 available.
2008-10-29: Printed slides are immediately available and can be bought Mo-Th 09:00 - 11:00 a.m. for 5 EUR at room 34/410.

Misc


Lecture

Exercises


Old News

2009-01-22: Exercise sheet 13.
2009-01-15: Exercise sheet 12.
2009-01-08: Exercise sheet 11.
2008-12-30: Exercise sheet 10.
2008-12-11: Exercise sheet 9.
2008-12-04: Exercise sheet 8.
2008-11-27: Exercise sheet 7.
2008-11-20: Exercise sheet 6.
2008-11-14: Exercise sheet 5, expect news on the preparation of this sheet.
2008-11-10: Slides 1-158 available.
2008-11-06: Exercise sheet 4.
2008-10-30: Exercise sheet 3.
2008-10-24: Printed slides available for sale at the beginning of November.
2008-10-23: Slides 1-113 available.
2008-10-22: Exercise sheet 2.
2008-10-22: Printed versions of the slides on the way.
2008-10-16: Exercise sheet 1.
2008-10-13: Auxiliary dates for the lecture.
2008-09-25: Initial version of this page.

Lectures AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

Last Update: Tuesday, 17-Feb-09 08:03:48 GMT
stengel@informatik.uni-kl.de

Valid XHTML 1.0!