Traduzione di "Hoare logic" in italiano

logica di Hoare è la traduzione di "Hoare logic" in italiano.

Hoare logic proper

A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations. [..]

+ Aggiungi

Dizionario inglese-italiano

  • logica di Hoare

    A formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

  • Mostra le traduzioni generate algoritmicamente

Traduzioni automatiche di " Hoare logic " in italiano

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Aggiungi

Traduzioni di "Hoare logic" in italiano in contesto, memoria di traduzione