COBISS Kooperativni online bibliografski sistem in servisi COBISS

Aleksandar Avdalović

Osebna bibliografija za leto 2023

2023

1. AVDALOVIĆ, Aleksandar, BARBOSA, Raul (sodelavec pri raziskavi). Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja : magistrsko delo = Translation of random forests to loop-free imperative programs for the purpose of formal verification : master's thesis. Koper: [A. Avdalović], 2023. 1 spletni vir (1 datoteka PDF (IX, 34 str., [5] str. pril.)), ilustr. Repozitorij Univerze na Primorskem - RUP. [COBISS.SI-ID 167114755]
Izbrani format bibliografske enote: ISO 690
Razvrščanje bibliografskih enot: leto - naraščajoče, naslov

Vir bibliografskih zapisov: vzajemna baza podatkov COBISS.SI/COBIB.SI, 23. 11. 2024