This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
Browse the Department site:
Browse the Teaching site:

Course Details

Name:

Formal Methods / Formal Methods
Type:
Module
Tuning logo
The course profile, written following the Tuning international methodology, is available here.

Basic information

Code:
DT0202
Sector:
INF/01
Credits:
Master Degree in Computer Science: 6 Ects (b)
Term:
2nd semester
Degree(s):
Language:
English [info]
Teacher(s):
Same as:

Course information last updated on: 20 aprile 2016, 10:29