Aikalogiikka ja järjestelmien verifiointi

581255
6
Software Systems
Advanced studies
Year Semester Date Period Language In charge
1997 spring 29.01-07.05. Finnish

Lectures

Time Room Lecturer Date
Wed 12-14 B450 Opetusohjelman suunnittelija 22.01.1997-07.05.1997

Exercise groups

Group: 1
Time Room Instructor Date Observe
Wed 14-16 A318 Opetusohjelman suunnittelija 29.01.1997—07.05.1997

HUOM! Kurssi alkaa vasta 29.1.