Automatic System Analysis and Verification (2007/2008)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

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.
Course news Seminars related to the course

Lesson timetable

Share