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
DISIM
Department of Information Engineering, Computer Science and Mathematics
University of L'Aquila
Teaching
it Italian version
Google
Browse the Department site:
Browse the Teaching site:
DISIM Teaching Computer Science

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
Language:
English [info]
Teacher(s):
Monica Nesi
Same as:
Metodi Formali dell'Informatica
Equivalent to:
Formal Methods
This course is equivalent to Formal Methods: click here to read the complete didactic information on the corresponding course page.

Course information last updated on: 10 settembre 2015, 10:41