Att försöka lära sig översätta från mänskliga översättningsexempel.
Från: Maskinöversättning
Föreslå en bättre översättning
Kvalitet:
Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
"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.
Vissa mänskliga översättningar med låg relevans har dolts.
Visa resultat med låg relevans.