Willkommen zur Webseite ...

... der weiterführenden Vorlesung "Spezifikation und Verifikation von Software".

Neuigkeiten

zur Zeit keine

Termine

Montags, 15:45 - 17:15 Uhr
Donnerstags, 15.45 - 17:15 Uhr
jeweils im Raum 131, Geb. 50.34
Details zu den Terminen
   

Vorlesungsskriptum

compressed pdf-file - uncompressed pdf-file

Zusätzliche Links

Praktikumsseite

Vorlesungsfolien

  1. Einführung (Organisatorisches, Inhaltsübersicht): bildschirm - druck
    Vorlesung am 18.10.10

Kontakt

E-Mail · Sprechstunde