izpis_h1_title_alt

Uporaba tipov za zagotavljanje pravilnosti programov : delo diplomskega seminarja
ID Koprivec, Filip (Avtor), ID Pretnar, Matija (Mentor) Več o mentorju... Povezava se odpre v novem oknu

.pdfPDF - Predstavitvena datoteka, prenos (293,61 KB)
MD5: 25EE7EF7E7DA4C3613F618368D278F0E

Jezik:Slovenski jezik
Ključne besede:matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Vrsta gradiva:Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Tipologija:2.11 - Diplomsko delo
Organizacija:FMF - Fakulteta za matematiko in fiziko
Kraj izida:Ljubljana
Založnik:[F. Koprivec]
Leto izida:2017
Št. strani:25 str.
PID:20.500.12556/RUL-100651 Povezava se odpre v novem oknu
UDK:004
COBISS.SI-ID:18182233 Povezava se odpre v novem oknu
Datum objave v RUL:04.04.2018
Število ogledov:963
Število prenosov:467
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
:
Kopiraj citat
Objavi na:Bookmark and Share

Sekundarni jezik

Jezik:Angleški jezik
Naslov:Using types to provide safety in programming languages
Ključne besede:mathematics, programming languages, type system, lambda calculus, simply typed lambda calculus

Podobna dela

Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:

Nazaj