Cours de Génie Logiciel
Exercices avec correction

Maîtrise d'Informatique 2001-2002

• Rappels sur la logique de Hoare
  • Conditionnelle
  • Affectation
  • Échange de valeurs
  • Boucle
• Langage de la méthode B
  • Formules
  • Objets et formules
  • Substitutions

This document was tranlated from L^AT_EX by H^EV^EA and H^AC^HA.