703523 Experimente mit Verifikation

Sommersemester 2012 | Stand: 03.09.2012 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

LV-Nummer:

703523

Titel:

Experimente mit Verifikation

Typ/Stunden:

VO 1

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Praxis von Entscheidungsverfahren

Inhalt:

Überblick: Verifikationsmethoden; Techniken und Werkzeuge: automatisches Beweisen

Methoden:

Vorlesung

Prüfungsmodus:

Klausur

Literatur:

siehe Website

Anmerkungen:

Beginn: siehe Termine

Link:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Di 06.03.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 13.03.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 20.03.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 27.03.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 17.04.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 24.04.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 08.05.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 15.05.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 22.05.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 29.05.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 05.06.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 12.06.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 19.06.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei
Di 26.06.2012	14.15 - 15.00	HS 10 HS 10	Barrierefrei