Telecharger Cours

Numéros permanents TEAMS Palais de justice d'Alma Cour ...

Le cours est consacré à la modélisation et à la vérification par model-checking de systèmes concurrents. Méthodes d'enseignement. Langue d ...



Download