Automatic System Analysis and Verification (2008/2009)

Course partially running

Course code
4S00051
Name of lecturer
Roberto Giacobazzi
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
2° Q dal Jan 26, 2009 al Mar 27, 2009.

Lesson timetable

2° Q
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall E  
Thursday 8:30 AM - 11:30 AM lesson Lecture Hall B  

Learning outcomes

--

Syllabus

--

Assessment methods and criteria

--