završni rad
Formalni dokazi u programiranju

Šarić, Kristijan
Sveučilište Jurja Dobrile u Puli
Fakultet informatike u Puli

Citirajte ovaj rad

Šarić, K. (2016). Formalni dokazi u programiranju (Završni rad). Preuzeto s https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, Kristijan. "Formalni dokazi u programiranju." Završni rad, Sveučilište Jurja Dobrile u Puli, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, Kristijan. "Formalni dokazi u programiranju." Završni rad, Sveučilište Jurja Dobrile u Puli, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić, K. (2016). 'Formalni dokazi u programiranju', Završni rad, Sveučilište Jurja Dobrile u Puli, citirano: 30.09.2020., https://urn.nsk.hr/urn:nbn:hr:137:645754

Šarić K. Formalni dokazi u programiranju [Završni rad]. Pula: Sveučilište Jurja Dobrile u Puli; 2016 [pristupljeno 30.09.2020.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:137:645754

K. Šarić, "Formalni dokazi u programiranju", Završni rad, Sveučilište Jurja Dobrile u Puli, Pula, 2016. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:137:645754

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.