Les formations du sous-domaine Sémantique des programmes
Chargement du résultat...
Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
|---|---|---|---|---|
Intitulé de la formation
Programmation fonctionnelle en Java
|
Type
Unité d’enseignement
|
Lieu(x)
Présentiel jour
|
Lieu(x)
Normandie
|
|
Intitulé de la formation
Programmation fonctionnelle en Java
|
Type
Unité d’enseignement
|
Lieu(x)
Présentiel soir ou samedi
|
Lieu(x)
Paris
|
|
Intitulé de la formation
Spécification et vérification des systèmes distribués
|
Type
Unité d’enseignement
|
Lieu(x)
FOAD 100%
|
Lieu(x)
Paris
|
|
Intitulé de la formation
Spécification logique et validation des programmes séquentiels
|
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) |