Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
"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.
Несколько пользовательских переводов с низким соответствием были скрыты.
Показать результаты с низким соответствием.