SVEUČILIŠTE U SPLITU
PRIRODOSLOVNO-MATEMATIČKI FAKULTET
ODJEL ZA MATEMATIKU
Split, 12. prosinca 2020.g.
OBRANA DIPLOMSKOG RADA
Kandidat: Petra Livaja
Diplomski studij: Matematika
Smjer: računarski
Naslov diplomskog rada:
Hoareova logika
Povjerenstvo za obranu diplomskog rada:
1. izv. prof. dr. sc. Jurica Perić – predsjednik
2. prof. dr. sc. Milica Klaričić Bakula – članica
3. doc. dr. sc. Goran Erceg – član
Datum i sat obrane: 18. prosinca 2020. u 1600 sati
Soba: B3-68