Option à choix 7

Organisation

Option à choix 6 à 10
1 option(s) au choix parmi 1

• Approches formelles pour la vérification de programmes (2.5 crédits)
• Computational DNA Nanotechnology (2.5 crédits)
• UE Libre (2.5 crédits)
• Systèmes multi-agents (2.5 crédits)
• Modélisation formelles à base d'algèbres de réseaux de Pétri (2.5 crédits)
• Concurrent and timed processes (2.5 crédits)
• Game Theory (2.5 crédits)
• Entreprenership (2.5 crédits)

Diplômes intégrant cette UE

• Informatique