Cilj predmeta Uvod u formalne metode je upoznavanje studenata s osnovnim metodama simboličke logike u primjeni na razvoj programske podrške, kako klasične, tako i suvremene.
- Teacher: Sandra Lovrenčić
- Teacher: Vlatka Sekovanić
Opcije upisa
Gosti nemaju pristup na ovaj e-kolegij, morate se prijaviti u sustav.