703519 Semantik von Programmiersprachen

Sommersemester 2009 | Stand: 10.07.2009 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
assoz. Prof. Dipl.-Ing. Mag. Dr. Michael Felderer assoz. Prof. Dipl.-Ing. Mag. Dr. Michael Felderer, +43 512 507 53228
703519
Semantik von Programmiersprachen
PS 1
2
wöch.
jährlich
Englisch
Übungen in Beweisen und Rechnungsmethoden für operationelle und denotationelle Semantik
prüfungsimmanente Lehrveranstaltung
Beginn: KW 10
http://qe-informatik.uibk.ac.at/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 11.03.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 18.03.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 25.03.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 01.04.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 22.04.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 29.04.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 06.05.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 13.05.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 20.05.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 27.05.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 03.06.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 10.06.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 17.06.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 24.06.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei
Mi 01.07.2009
 15.15 - 16.00 HS 10 HS 10 Barrierefrei