Formation indisponible à l'heure actuelle
Sémantique, typage et analyse de programme
Formation
À Montpellier ()
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
Missions, moyens et organisation
Le Cnam est placé sous la présidence de Jean-Paul Herteman, P-DG du groupe Safran, et dirigé par Olivier Faron.
Il remplit trois missions principales:
la formation professionnelle supérieure tout au long de la vie,
la recherche technologique et l'innovation,
la diffusion de la culture scientifique et technique.
Le Cnam offre des formations développées en étroite collaboration avec les entreprises et les organisations professionnelles afin de répondre au mieux à leurs besoins et à ceux de leurs salariés. Cette UE apparaît dans les diplômes et certificats suivants : Entrée
MR069p-1 Master Sciences, technologies, santé mention informatique spécialité systèmes embarqués mobiles et sûrs (voie recherche et professionnelle)
Centres d'enseignement
Les Avis
Les matières
- Analyse de résultats
Le programme
Modalités de l'évaluation Examen (50%), examen de TP et/ou projets (50%).
Bibliographie
- Glynn Winskel, : The Formal Semantics of Programming Languages, MIT Press, 1993
- Benjamin C. Pierce : Types and Programming languages, MIT Press, 2002
- Flemming Nielson, Hanne Riis Nielson, Chris Hankin, : Principles of programming analysis, Springer Verlag, 2005 94
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Sémantique, typage et analyse de programme