Semantics with Applications: An Appetizer

H. R. Nielson, F. Nielson

Utilisée dans les 1 développements suivants :

Sémantique opérationnelle de constructions non séquentielles

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 :