Commune
Sémantique des langages de programmation
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement