Laud, Peeter, juhendajaHaav, LiisiTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2021-09-092021-09-092008http://hdl.handle.net/10062/73602estrestrictedAccessbakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologyinfovoodkrüptograafiatüübiteooriaJif (programmeerimiskeel)Tüübisüsteemid arvutuslikult turvalise infovoo jaoks keeles JifThesis