Intégrer La Prépa des INP
Intégrer une école
S'inscrire
Livret d'accueil
École / Prépa
ENSEIRB-MATMECA
Code interne
EIN9-PROJ8
Description
Le projet consiste à résoudre un problème posé par un partenaire industriel, sur les thématiques des cours "conception formelle" et "spécification et preuve formelle de programmes"
Heures d'enseignement
- PRJProjet6h
- TITravaux Individuels30h
Modalités de contrôle des connaissances
Évaluation initiale / Session principale
| Type d'évaluation | Nature de l'évaluation | Durée (en minutes) | Nombre d'épreuves | Coefficient de l'évaluation | Note éliminatoire de l'évaluation | Remarques |
|---|---|---|---|---|---|---|
| Projet | Soutenance | 30 | 1 |