PRESENTATION
FORMATIONS
DEPLOIEMENTS NATIONAUX
PUBLICATIONS
RECHERCHE
MEMBRES
CONTACTS
Accueil
>
FORMATIONS
>
Unités d’enseignements (UEs) et supports
>
Unités d’enseignements (UEs)
>
AISL
>
NFP120 : Spécification logique et validation des programmes séquentiels
NFP120 : Spécification logique et validation des programmes séquentiels
Fiche descriptive de l'UE (PDF):
Cliquez ici
Fiche descriptive de l'UE (Web):
Cliquez ici
Diplômes:
Diplôme d’ingénieur Cnam spé. informatique option architecture et ingénierie des systèmes et des logiciels
,
Diplôme d’ingénieur Cnam spé. informatique option informatique modélisation optimisation
,
Diplôme d’ingénieur Cnam spé. informatique option réseaux, systèmes et multimédia
,
Diplôme d’ingénieur Cnam spé. informatique option systèmes d’information (ISI)
,
Licence STIG, mention informatique générale
,
Titre RNCP (niveau II) concepteur en architecture informatique
Responsable national : Pierre Courtieu
Cette UE est fermée au Centre Cnam de Paris depuis 2016.
Contacts
CEDRIC
CNAM
Réseau CNAM
Bibliotheque
Handi'CNAM
CRAP
ENJMIN
Mentions légales
FORMATIONS
Informations générales
S’inscrire
Financer sa formation
Licences
Masters
Diplômes d’Ingénieur
Formation doctorale
Titres, diplômes et certificats d’établissement
Alternance
Stages entreprises
Auditeurs
Unités d’enseignements (UEs) et supports
Micro-certifications
DEPLOIEMENTS NATIONAUX
VIE PRATIQUE
Actualités
La Minute Informatique
Revue de presse
Espace privé
