bn:03306759n
Noun Concept
Categories: Informatique théorique, Méthode formelle
FR
sémantique axiomatique  semantique axiomatique
FR
La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. Wikipedia
Definitions
Relations
Sources
FR
La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. Wikipedia
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations