Course Details for A.Y. 2017/2018
The information on this page refer to the academic year 2017/2018.
Therefore, several links are not available and data may be incomplete.
To read the current information on the course, if it is still available, go to the university course catalogue .
To read information relating other academic years, use the list at the bottom of this page.
A. Year:
2017/2018
Name:
Metodi Formali / Formal Methods
Type:
Course
Basic information
Code:
F0191
Sector:
INF/01
Credits:
: Master Degree in Computer Science 6 CFU (b)
Term:
1st semester
Degree(s):
Master Degree in Computer Science 1st anno curriculum GSEEM Compulsory
Master Degree in Computer Science 1st anno curriculum General Compulsory
Master Degree in Computer Science 1st anno curriculum General Compulsory
Language:
English
![[info]](img/info16.png)
Teacher(s):
Same as:
Equivalent to:
Course information last updated on: 10 settembre 2015, 10:41