The formal semantics of programming langages

Winskel

Utilisée dans les 1 développements suivants :

Preuve de la factorielle en logique de Hoare

Utilisée dans les 1 leçons suivantes :

927 (2021) Exemples de preuve d’algorithme : correction, terminaison.

Utilisée dans les 2 versions de développements suivants :


Utilisée dans les 1 versions de leçons suivantes :