Library FKKT and FRI, Ljubljana (FKKRI)
  • Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris : delo je pripravljeno v skladu s Pravilnikom o podeljevanju Prešernovih nagrad študentom, pod mentorstvom doc. dr. Jurija Miheliča
    Repas, Blaž
    Type of material - book
    Publication and manufacture - Ljubljana : [B. Repas], 2014
    Language - slovenian
    COBISS.SI-ID - 1536094659

    Link(s):

    http://eprints.fri.uni-lj.si/3692/

Call number – location, accession no. ... Copy status Reservation
FRIp 0000000039
IN: 206001282 FRIp 39
IN: 206001282 		available - reading room
loading ...
loading ...
loading ...

Shelf entry