Jäta vahele peasisuni
Küljepaneel
eesti (et)
eesti (et)
eesti (et_old)
English (en)
Õpikeskkonna avalehele
Õppeaine koduleht
Õppejõu teated
Kontakt
Maksym Arkadevič Bortin
Evelin Halling
Leonidas Tsiopoulos
Avaleht
Kursused
Kevad 2020
ITI8531-2020
Kokkuvõte
ITI8531 - Software Synthesis and Verification
ITI8531 - Software Synthesis and Verification
Õppejõud:
Maksym Arkadevič Bortin
Õppejõud:
Evelin Halling
Õppejõud:
Leonidas Tsiopoulos