diplomski rad
Hoareova logika
Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. urn:nbn:hr:166:264314

Livaja, Petra
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku

Institucijski repozitorij: repozitorij.pmfst.unist.hr

Citirajte ovaj rad

Livaja, P. (2020). Hoareova logika (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, P. (2020). 'Hoareova logika', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 08.11.2024., https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja P. Hoareova logika [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2020 [pristupljeno 08.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314

P. Livaja, "Hoareova logika", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314