Aikalogiikka ja järjestelmien verifiointi

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