Pages qui pointent vers « Sémantique opérationnelle »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Sémantique opérationnelle :
Affichage de 9 éléments.
- Système de transition d'états (← liens)
- Sémantique des langages de programmation (← liens)
- Méthode formelle (informatique) (← liens)
- Réécriture (informatique) (← liens)
- Bisimulation (← liens)
- Préordre de simulation (← liens)
- Logique de Hoare (← liens)
- Machine de Krivine (← liens)
- Programming Computable Functions (← liens)