završni rad
Formalni dokazi u programiranju
Pula: Sveučilište Jurja Dobrile u Puli, 2016. urn:nbn:hr:137:645754

Š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). Pula: Sveučilište Jurja Dobrile u Puli. 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: 26.05.2024., 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 26.05.2024.] 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