Lecture_1_AFQL_2024.mp4

01:31:55
Nombre de vues 117
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

Premier Cours AFQL 4IF 2024.  Validation logicielle, logique de Hoare.

Mots clés : logique de hoare validation logicielle

  • Ajouté par : Frederic Prost (fprost)
  • Mis à jour le : 6 février 2024 10:08
  • Type : Cours
  • Langue principale : Français
  • Public : Master
  • Discipline(s) :