Les formations du sous-domaine Vérification
Chargement du résultat...
Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
|---|---|---|---|---|
Intitulé de la formation
Ingénieur en informatique. Architecture et intégration des systèmes et des logiciels
|
Type
Diplôme d'ingénieur
|
Lieu(x)
À la carte
|
||
Intitulé de la formation
Test et Validation du Logiciel
|
Type
Unité d’enseignement
|
Lieu(x)
Présentiel soir ou samedi
|
Lieu(x)
Paris
|
|
Intitulé de la formation
Spécification logique et validation des programmes séquentiels
|
Type
Unité d’enseignement
|
|||
Intitulé de la formation
Méthodologie d'ingénierie et d'intégration des systèmes
|
Type
Unité d’enseignement
|
|||
Intitulé de la formation
Sémantique, typage et analyse de programme
|
Type
Unité d’enseignement
|
|||
Intitulé de la formation
Computer Systems Modeling and Verification
|
Type
Unité d’enseignement
|
|||
| Intitulé de la formation | Type | Modalité(s) | Lieu(x) |