Aikalogiikka ja järjestelmien verifiointi

581255
6
Ohjelmistojärjestelmät
Syventävät opinnot
Vuosi Lukukausi Päivämäärä Periodi Kieli Vastuuhenkilö
1997 kevät 29.01-07.05. Suomi

Luennot

Aika Huone Luennoija Päivämäärä
Ke 12-14 B450 Opetusohjelman suunnittelija 22.01.1997-07.05.1997

Harjoitusryhmät

Group: 1
Aika Huone Ohjaaja Päivämäärä Huomioitavaa
Ke 14-16 A318 Opetusohjelman suunnittelija 29.01.1997—07.05.1997

HUOM! Kurssi alkaa vasta 29.1.