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 e di Verifica / Formal Methods and Verification of Complex systems
Type:
Course
Modules:
Metodi Formali dell'Informatica
Verification of Complex systems

Basic information

Code:
F0190
Sector:
INF/01
Credits:
: Master Degree in Computer Science 12 CFU (b)
Term:
2nd semester
Degree(s):
Master Degree in Computer Science curriculum SDRC Elective
Master Degree in Computer Science 1st anno curriculum ASSC Compulsory
Master Degree in Computer Science 1st anno curriculum GSEEM Compulsory
Language:
English [info]
Teacher(s):
Daniele Magazzeni
Monica Nesi
This is an integrated course: the complete didactic information is available on the corresponding module pages.

Course information last updated on: 11 maggio 2012, 18:42