Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2009/10 / Musterordner / Musterveranstaltungsseite


Inhaltsbereich

Musterveranstaltungsseite

Vorlesung, 3-std., Mi 08:15-09:45, Do 13:15-14:00, Hofmann; Übungen 2-std., Schöpp

Aktuelles

 

 

 


Inhalt

In der Vorlesung werden Spezifikationsformalismen, Konzepte der Systemmodellierung, Grundtechniken für die Automatisierung der Verifikation, Typsysteme und statische Analyse eingeführt.

 


Organisation

 


Zeit und Ort

Veranstaltung Zeit Ort Beginn
Vorlesung Mi, 08:15 - 09:45 Uhr
Hörsaal B005 (Theresienstr. 39) 21.10.2009
Vorlesung Do, 13:15 - 14:00 Uhr Hörsaal B005 (Theresienstr. 39) 22.10.2009
Übung Do, 15:00 - 15:45 Uhr Hörsaal 127 (Oettingenstr. 67) 22.10.2009
Übung Fr, 11:00 - 11:45 Uhr Hörsaal 127 (Oettingenstr. 67) 23.10.2009

 


Planung

 

 


Klausur

 

 


Weiterführende Informationen

  • Forum bei die Informatiker.net
  • Buch XY

 

 

Artikelaktionen


Funktionsleiste