Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da: Traduzione automatica
Suggerisci una traduzione migliore
Qualità:
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
"programação por contrato" tem suas raízes em verificação formal, especificação formal e lógica hoare.
design by contract has its roots in work on formal verification, formal specification and hoare logic.
Alcuni contributi umani con scarsa rilevanza sono stati nascosti.
Mostra i risultati con scarsa rilevanza.