Edit Course
Code(s):
BMI-LOTD-353E.03, BMA-FILD- 402.58, BBN-FIL-402.59, BMA- LOTD-353.03
Teacher(s):
Attila Molnár
Title:
Branching spacetime and temporal logic II. K 16:00-17: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):