Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formal Specification and Verification Techniques SS 09

Contents


News

  • 2009/07/16: Sheet 12 available.

  • Misc


    Lecture


    Slides/Preparatory material


    Exercises


    Old News

  • 2009/07/09: Sheet 11 available.
  • 2009/07/02: Sheet 10 available.
  • 2009/06/25: Sheet 9 available.
  • 2009/06/18: Sheet 8 available.
  • 2009/06/10: Sheet 7 available.
  • 2009/06/10: By reason of Corpus Christi thursday's lecture is deferred to Friday 8:15 in 32-439.
  • 2009/05/25: Sheet 6 available.
  • 2009/05/18: By reason of Ascension Day thursday's lecture is deferred to Friday 8:15 in 32-439.
  • 2009/05/13: Sheet 5 available.
  • 2009/05/06: Sheet 4 available.
  • 2009/04/29: Sheet 3 available.
  • 2009/04/22: Sheet 2 available.
  • 2009/04/22: Sheet 1 available.

  • Lectures AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

    Last Update: Thursday, 16-Jul-09 14:15:16 GMT
    madlener@informatik.uni-kl.de

    Valid XHTML 1.0!