Advanced formal computation and applications

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Advanced Formal Calculus and Applications - CMLecture6 p.m.
  • Advanced Formal Calculation and Applications - TutorialTutorials6 p.m.