Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formale Spezifikations- und Verifikationstechniken SS 09

Inhalt


Neuigkeiten

  • 16.07.2009: Blatt 12 verfügbar.

  • Allgemeines


    Vorlesung


    Folien/Vorbereitung


    Übungen


    Alte Neuigkeiten

  • 09.07.2009: Blatt 11 verfügbar.
  • 02.07.2009: Blatt 10 verfügbar.
  • 25.06.2009: Blatt 9 verfügbar.
  • 18.06.2009: Blatt 8 verfügbar.
  • 10.06.2009: Blatt 7 verfügbar.
  • 10.06.2009: Die Vorlesung am Donnerstag findet diese Woche wg. Fronleichnam am Freitag um 8:15 Uhr in 32-439 statt.
  • 25.05.2009: Blatt 6 verfügbar.
  • 18.05.2009: Die Vorlesung am Donnerstag findet diese Woche wg. Himmelfahrt am Freitag um 8:15 Uhr in 32-439 statt.
  • 13.05.2009: Blatt 5 verfügbar.
  • 06.05.2009: Blatt 4 verfügbar.
  • 29.04.2009: Blatt 3 verfügbar.
  • 22.04.2009: Blatt 2 verfügbar.
  • 22.04.2009: Blatt 1 verfügbar.


  • Vorlesungen 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!