1 - 2 / 2 ![]() ![]() ![]() ![]() |
1. Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, diplomsko delo/naloga Ključne besede: odvisni tipi, pravilnost programov, programski jezik Idris |
2. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, diplomsko delo Ključne besede: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge |