COURS COMMUNS AUX DEUX OPTIONS

Bases de données avancées

Techniques de modélisation et de vérification

Technologie des agents