1 - 2 / 2 1 |
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 |