Translation of "semantica assiomatica" into English

axiomatic semantics is the translation of "semantica assiomatica" into English.

semantica assiomatica
+ Add

Italian-English dictionary

  • axiomatic semantics

    An approach based on mathematical logic to proving the correctness of computer programs, closely related to Hoare logic.

  • Show algorithmically generated translations

Automatic translations of "semantica assiomatica" into English

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "semantica assiomatica" into English in sentences, translation memory