Translation of "axiomatic semantics" into Croatian

Aksiomatska semantika is the translation of "axiomatic semantics" into Croatian.

axiomatic semantics

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

+ Add

English-Croatian dictionary

  • Aksiomatska semantika

    approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state

  • aksiomatska semantika

  • Show algorithmically generated translations

Automatic translations of "axiomatic semantics" into Croatian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "axiomatic semantics" into Croatian in sentences, translation memory