Formal calculation

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Formal Calculus - CMLecture18h
  • Formal calculation - TDTutorial18h