Environnement sémantique direct

Terme générique

Employé pour

  • analyse informatique
  • atelier de génie logiciel
  • preuve d'un programme
  • programmation structurée

programmation

Termes associés