Topics in Software Science
Organisatsiooni nimi
Laboratory for Software Science
Kokkuvõte
Programming Languages, Automated Software Verification, Proof Assistants, and Logic Programming.
https://sws.cs.ut.ee/Main/Thesis
https://sws.cs.ut.ee/Main/Thesis
Lõputöö kaitsmise aasta
2023-2024
Juhendaja
Various Artists
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
Kandideerimise kontakt
Nimi
Vesal Vojdani
Tel
E-mail
Vaata lähemalt