Jäta vahele peasisuni
Küljepaneel
Ained
  • eesti ‎(et)‎
    eesti ‎(et)‎ eesti ‎(et_old)‎ English ‎(en)‎
  • Õpikeskkonna avalehele
    Õppeaine koduleht
    Õppejõu teated
    Kontakt
    Maksym Arkadevič Bortin 
    Evelin Halling 
    Leonidas Tsiopoulos 
    1. Avaleht
    2. Kursused
    3. Kevad 2020
    4. ITI8531-2020
    5. 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

    Tallinna Tehnikaülikool