Examens corriges

1 Initialisation des variables locales

Question 3 Pour vérifier qu'une instruction s est correcte, on introduit le jugement S ` s ? S/ signifiant les variables de S étant ...





Télécharger