Translation of "Hoare logic" into Spanish

lógica de Hoare is the translation of "Hoare logic" into Spanish.

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. [..]

+ Add

English-Spanish dictionary

  • lógica de Hoare

    feminine

    Un sistema formal junto con un conjunto de reglas lógicas para razonar con rigor sobre la corrección de los programas de ordenador.

  • Show algorithmically generated translations

Automatic translations of "Hoare logic" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "Hoare logic" into Spanish in sentences, translation memory