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 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap
Studentisches Leben      Veranstaltungen      Hochschulstruktur      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Quantitative Model Checking - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Weiterführende Vorlesung Langtext
Veranstaltungsnummer 61191 Kurztext
Semester SoSe 2012 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links http://alma.cs.uni-saarland.de/?page_id=577
Sprache Englisch
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Turnus Dauer Raum Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook 		Mo. 08:00 bis 10:00 woch       Geb. E1 3 R 328/528  
Gruppe :
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Wolf, Verena, Univ.-Professorin, Prof. Dr.
Zuordnung zu Einrichtungen
Informatik
Inhalt
Kommentar dazugehörend 2stündige Übungen

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2012 , Aktuelles Semester: SoSe 2024