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 for A.Y. 2015/2016

The information on this page refer to the academic year 2015/2016. Therefore, several links are not available and data may be incomplete. To read the current course information, click here. To read the course information for other academic years, use the list at the page bottom.

A. Year:

2015/2016

Name:

Formal Methods / Formal Methods
Type:
Module

Basic information

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

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