Formal Methods (2000/2001)

Course Not running, not visible

Course code
cod wi: 72038-sci
Name of lecturer
Roberto Giacobazzi
Didactic units
1
Language of instruction
Italian
Period
First four-month term dal Sep 25, 2000 al Dec 1, 2000.

Lesson timetable

First four-month term
Day Time Type Place Note
Monday 11:00 AM - 1:00 PM lesson Lecture Hall B  
Wednesday 9:00 AM - 11:00 AM lesson Lecture Hall B  
Thursday 11:00 AM - 1:00 PM lesson Lecture Hall B  

Teaching aids

Documents