Options d'inscription
Module de Logique de réécriture et ses différentes applications dans la modélisation et la vérification des systèmes dynamiques.
- Enseignant: Okba Tibermacine
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.