Naziv kolegija
Napredne formalne metode
Vrsta studija
Sveučilišni prijediplomski
ECTS bodova
0
Jezik kolegija
Hrvatski
Kolegij vidljiv
Ne
Nositelji kolegija
Ime i prezime
Sandra Lovrenčić
Markus Schatten
Izvođači nastave
Ime i prezime
Sustav za e-učenje
Opis kolegija
Napišite kratak i zanimljiv sažetak koji objašnjava koje teme pokriva vaš kolegij.