Les formations du sous-domaine Preuve de logiciel
Chargement du résultat...
Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
|---|---|---|---|---|
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) |