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     
Winter 2021/22    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Veranstaltung

Computergestützte Verifikation

  • Funktionen:

Grunddaten

Veranstaltungsart Übung SWS 1.00
Veranstaltungsnummer 23144 Semester WS 2021/22
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Link zu dieser Lehrveranstaltung in Stud.IP

Belegung über StudIP

Status Link
offene Belegung (kein Anmeldeverfahren)    Link

Module

1150740 Ergänzende Themen im Themenbereich Modelle und Algorithmen
1150790 Ausgewählte Themen im Themenbereich Modelle und Algorithmen
1151380 Computergestützte Verifikation

Termine Gruppe: [unbenannt] iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 09:00 bis 11:00 gerWoch 20.10.2021 bis 26.01.2022  A.-Einstein-Str. 22 - SR 109, A.-Einstein-Str. 22 Raumplan Wallner findet statt    
Gruppe [unbenannt]:
 

Verantwortliche Person

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

Studiengänge

Studiengang/Abschluss/Prüfungsversion Semester Teilnahmeart
Computer Science International, Master (2020) 1. - 3. Semester wahlobligatorisch
Electrical Engineering, Master (2018) 1. - 3. Semester wahlobligatorisch
Informatik, Master (2013) 1. - 2. Semester wahlobligatorisch
Informatik, Master (2020) 1. - 2. Semester wahlobligatorisch
Informationstechnik/Technische Informatik, Master (2013) 1. - 2. Semester wahlobligatorisch
Informationstechnik/Technische Informatik, Master (2020) 1. - 2. Semester wahlobligatorisch
Visual Computing, Master (2014) 1. - 3. Semester wahlobligatorisch
Wirtschaftsinformatik, Master (2018) 1. - 2. Semester wahlobligatorisch
Wirtschaftsinformatik, Master (2021) 1. - 2. 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

Die Veranstaltung wurde 5 mal im Vorlesungsverzeichnis Winter 2021/22 gefunden:
Master Informatik · · · · [+]
Master Wirtschaftsinformatik · · · · [+]