Course title in Italian: Formal Methods for Strategic Reasoning
Module:
Course title in English: Formal Methods for Strategic Reasoning
Language: Italian
Teaching year: II
ECTS: 6
Teaching hours: 150
Semester: 2
Professors
- Channel 1: Aniello Murano
Prerequisites
None
Course objectives
text
Syllabus
text
Teaching method
text
Examination modalities
text