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. 2011/2012

The information on this page refer to the academic year 2011/2012. 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:

2011/2012

Name:

Metodi Formali / Formal Methods in Computer Science
Type:
Course

Basic information

Code:
F0191
Sector:
INF/01
Credits:
: 6 CFU (b)
Term:
2° semestre
Degree(s):
Laurea Magistrale in Informatica 1° anno curriculum Generale Obbligatorio
Language:
English [info]
Teacher(s):

Course information last updated on: 11 giugno 2012, 16:24