Automatic System Analysis and Verification (2007/2008)

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
Location
VERONA
Period
2° Q dal Jan 10, 2008 al Mar 12, 2008.

Lesson timetable

Share