Edit Course
Code(s):
BMA-LOTD-352.02 BMI-LOTD-352E.02 BMA-FILD-402.69 BBN-FIL-402.69
Teacher(s):
Molnár Attila
Title:
Branching spacetime and temporal logic Sz 13:00-14:30 i/224
Course web page URL:
Syllabus:
Keep original
Delete
Upload new
Upload as new for academic year:
2023-2024
2024-2025
First semester
Second semester
Delete course!
Your email address:
molnar.h.attila@gmail.com
(if you want to receive automatic email about changes made by the secretary)
Message to the secretary (optional):