Aikalogiikka ja järjestelmien verifiointi

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