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

Type Systems for Security Verification - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Blockvorlesung Langtext
Veranstaltungsnummer 83977 Kurztext
Semester WiSe 2014/15 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links http://www.sps.cs.uni-saarland.de/teaching/14WS/security-verification/index.html
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
-. 09:00 bis 13:00 Block 16.03.2015 bis 27.03.2015  Gebäude E1 3 - Hörsaal III (0.03.1)        
Gruppe :
 
 
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
LA Sekundarstufe I und II Informatik - 20121 6 6
Bachelor (KB) Medieninformatik - 20131 6 6
Master (KB) Medieninformatik - 20131 6 6
Zuordnung zu Einrichtungen
Informatik
Inhalt
Kurzkommentar

The course will be co-taught by Dr. Catalin Hritcu

Kommentar dazugehörend 2stündige Übungen

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2014/15 , Aktuelles Semester: SoSe 2024