Переклад "axiomatic semantics" на українська

Аксіоматична семантика — це переклад "axiomatic semantics" на українська.

axiomatic semantics

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

+ Додати

англійська-українська словник

  • Аксіоматична семантика

    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

  • Показати алгоритмічно згенеровані переклади

Автоматичний переклад " axiomatic semantics " на українська

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Додати

Переклад "axiomatic semantics" на українська у контексті, пам'ять перекладів