Tentando aprender a traduzir a partir dos exemplos de tradução humana.
De: Tradução automática
Sugerir uma tradução melhor
Qualidade:
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
"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.
Algumas traduções humanas com pouca relevância foram ocultadas.
Mostrar resultados de pouca relevância.