Correction des règles de Hoare : Différence entre versions
De AgregmathKL
Yon (discuter | contributions) (Hoare (pdf)) |
Yon (discuter | contributions) (ajout fichier .tex) |
||
| Ligne 1 : | Ligne 1 : | ||
[[Média: Hoare.pdf | Correction des règles de Hoare ]] | [[Média: Hoare.pdf | Correction des règles de Hoare ]] | ||
| + | |||
| + | [[Média: Hoare.tex | Correction des règles de Hoare (fichier .tex) ]] | ||
