AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Principles of Verification and Model Checking - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Übung Veranstaltungsnummer 3313090
Semester SoSe 2025 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache englisch
Belegungsfristen - Eine Belegung ist online erforderlich
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mi. 15:00 bis 17:00 wöch 0313 (Hörsaal)
Stockwerk: EG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Stietel findet statt     80
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Stietel, Olivier
Studiengänge
Abschluss Studiengang LP Semester
Master of Education (BS)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (ISG)  Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Master of Education (ISG)  Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Master of Science  Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )     -  
Master of Science  Wirtschaftsinformatik Hauptfach ( Vertiefung: kein LA; POVersion: 2016 )     -  
Programmstud.-o.Abl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Recitation for the lecture Principles of Verification and Model Checking
Bemerkung

The course will be fully in English.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2025. Aktuelles Semester: WiSe 2025/26.
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin