Skip to main content
uniud elearning logo
  • English ‎(en)‎
    English ‎(en)‎ Italiano ‎(it)‎
  • You are not logged in. (Log in)

Elearning Università di Udine

  1. Home
  2. Courses
  3. Offerta formativa
  4. Anni accademici precedenti
  5. A.A.2015-16
  6. Area Scientifica
  7. Scienze Matematiche, Informatiche e Multimediali
  8. [LM 785] Informatica Internazionale
  9. AuSyVe1516
  10. Summary

Automatic System Verification: Theory and Applications

Auto Enrol
  • Teacher: Angelo Montanari

Skip Navigation
Navigation

  • Home

    • My courses

    • My courses

    • Courses

      • Offerta formativa

        • A.A.2024-25

        • A.A.2023-24

        • Master

        • Dottorato

        • Anni accademici precedenti

          • A.A.2022-23

          • A.A.2021-22

          • A.A.2020-21

          • A.A.2019-20

          • A.A.2018-19

          • A.A.2017-18

          • A.A.2016-17

          • A.A.2015-16

            • Area Economico - Giuridica

            • Area Medica

            • Area Scientifica

              • Agraria

              • Biotecnologie

              • Ingegneria e Architettura

              • Scienze Matematiche, Informatiche e Multimediali

                • [L 725] Informatica

                • [L 726] Tecnologie Web e Multimediali

                • [L 727] Matematica

                • [L 791] Scienze e Tecnologie Multimediali

                • [LM 765] Comunicazione Multimediale e Tecnologie d...

                • [LM 766] Informatica

                • [LM 767] Matematica

                • [LM 785] Informatica Internazionale

                  • MA0447|MA0556|1516m

                  • AuSyVe1516

                  • Algor21516

                  • MA0214|1516m

                  • MA0447|1516m

                  • MA0407|1516m

                  • MA0497|1516m

                  • MA0552|1516m

                  • MA0139|1516m

                  • MA0504|1516m

                  • MA0503|1516m

            • Area Umanistica e della Formazione

            • Scuola Superiore

          • A.A.2014-15

      • Altre attività formative

      • Materiali Docenti

  • English ‎(en)‎
    • English ‎(en)‎
    • Italiano ‎(it)‎

uniud

via Palladio 8, 33100 Udine
tel. +39 0432 556111
fax +39 0432 507715
p.iva 01071600306
c.f. 80014550307

 

Gestione Tecnica: HCE - Independent Digital Lab