Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Startseite

Anmelden

Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Veranstaltung

Computergestützte Verifikation

Funktionen:

Seiteninhalt:
Grunddaten
Belegung über StudIP
Module
Termine
Verantwortliche Person
Studiengänge
Einrichtungen
Strukturbaum

Grunddaten

Veranstaltungsart	Übung	SWS	1.00
Veranstaltungsnummer	23144	Semester	WS 2019/20
Sprache	Deutsch	Studienjahr
Hyperlink		Stud.IP

Belegung über StudIP

Es gibt keine Informationen zu einem Belegungsverfahren.

Module

1150740	Ergänzende Themen im Themenbereich Modelle und Algorithmen
1150790	Ausgewählte Themen im Themenbereich Modelle und Algorithmen

Termine Gruppe: [unbenannt]

	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mi.	09:00 bis 11:00	gerWoch	16.10.2019 bis 22.01.2020	A.-Einstein-Str. 22 - SR 110, A.-Einstein-Str. 22			findet statt
Einzeltermine: 16.10.2019 30.10.2019 13.11.2019 27.11.2019 11.12.2019 08.01.2020 22.01.2020

Gruppe [unbenannt]:

vormerken

Verantwortliche Person

Verantwortliche Person	Zuständigkeit
Prof. Dr. rer. nat. habil. Karsten Wolf

Studiengänge

Studiengang/Abschluss/Prüfungsversion	Semester	Teilnahmeart
Electrical Engineering, Master (2018)	1. - 3. Semester	wahlobligatorisch
Visual Computing, Master (2014)	1. - 3. Semester	wahlobligatorisch

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)

Zugehörige weitere Veranstaltung
Nr.	Veranstaltungsart	Beschreibung	SWS
23144	Vorlesung	Computergestützte Verifikation	3.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WS 2019/20 , Aktuelles Semester: Sommer 2024